叶征
- 作品数：2 被引量：1H指数：1
- 供职机构：浙江大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：理学更多>>
- 基于指标形式张量的微分几何定理机器证明
- 2009年
- 提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系统本身和关于哑元的方程三角化这个多项式系统,将所得到的首项代入结论,从而得到了该定理的机器证明.该算法不仅能够证明基于指标形式张量的微分几何定理,也可以用于张量方程的求解.
- 叶征曹源昊谢正李洪波
- 关键词：微分几何机器证明三角化
- 离散外微分与计算电磁学被引量：1
- 2010年
- 计算电磁学的核心之一是数值求解Maxwell方程组.适当的离散方式是保证结果能真实反映物理现象的关键.为了在离散的过程中保持该方程组的几何性质,我们建立了基于棱柱网格的系数为R的格点规范理论,其离散曲率满足相应的Bianchi恒等式.通过适当定义离散微分形式之间的内积和棱柱网格上的Hodge星算子,我们由离散变分导出源方程和连续性方程,和Bianchi恒等式一起称为真空中的离散Maxwell方程组.这组方程是内蕴的,并具有规范不变性.
- 谢正马玉杰叶征
- 关键词：计算电磁学格点规范MAXWELL方程组
