叶征

作品数：2被引量：1H指数：1
导出分析报告
供职机构：浙江大学计算机科学与技术学院更多>>
发文主题：MAXWELL方程组格点规范计算电磁学机器证明微分几何更多>>
发文领域：理学更多>>
发文期刊：《中国科学：数学》《系统科学与数学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
离散外微分与计算电磁学被引量：1
《中国科学：数学》2010年第2期127-136,共10页谢正 马玉杰 叶征 
国家自然科学基金(批准号:10871170)资助项目
计算电磁学的核心之一是数值求解Maxwell方程组.适当的离散方式是保证结果能真实反映物理现象的关键.为了在离散的过程中保持该方程组的几何性质,我们建立了基于棱柱网格的系数为R的格点规范理论,其离散曲率满足相应的Bianchi恒等式.通...
关键词：计算电磁学 离散外微分 格点规范 MAXWELL方程组 
基于指标形式张量的微分几何定理机器证明
《系统科学与数学》2009年第9期1238-1248,共11页叶征 曹源昊 谢正 李洪波 
国家自然科学基金NSFC(10871195);国家自然科学基金NSFC(60821002/F02);国家重点基础性研究基金(NKBRSF2004CB318001)资助项目
提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系...
关键词：张量 指标 微分几何 机器证明 三角化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部