谢正
作品数： 4被引量：2H指数：1
  • 所属机构:浙江大学
  • 所在地区:浙江省 杭州市
  • 研究方向:理学
  • 发文基金:国家自然科学基金

相关作者

叶征
作品数：2被引量：1H指数：1
供职机构：浙江大学计算机科学与技术学院
研究主题：MAXWELL方程组 格点规范 计算电磁学 机器证明 微分几何
马玉杰
作品数：9被引量：7H指数：1
供职机构：中国科学院数学与系统科学研究院系统科学研究所
研究主题：英文 半直积 自同构群 MAXWELL方程组 格点规范
曹源昊
作品数：3被引量：1H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：机器证明 微分几何 共形几何代数 几何自动推理 几何代数
李洪波
作品数：44被引量：97H指数：5
供职机构：中国科学院
研究主题：插补 插补方法 共形几何代数 机器证明 工作性能
作品列表