中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共7条，第1-7条 帮助

已选(0)清除 条数/页：   排序方式：
Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 213-241
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：107/0  |  提交时间：2018/07/30
Geometry theorem proving  Visually dynamic presentation of proof  Dynamic geometry  Unordered geometry  Gelernter  Java Geometry Expert  Morley's theorem  Feuerbach's theorem  Pythagorean theorem  Pedal triangle  
Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：111/0  |  提交时间：2018/07/30
Geometry theorem proving  Proof with hierarchical structures  Visually dynamic presentation of proof  Dynamic geometry  Full-angle  Deductive database  Fixpoint  Unordered geometry  Hilbert geometry  Tarski geometry  
图表追踪的一种机器实现方法 期刊论文
中国科学数学, 2010, 卷号: 000, 期号: 007, 页码: 660
作者:  谢正;  叶征;  李洪波;  黄雷
收藏  |  浏览/下载：35/0  |  提交时间：2020/01/10
离散外微分与计算电磁学 期刊论文
中国科学数学, 2010, 卷号: 000, 期号: 002, 页码: 127
作者:  谢正;  马玉杰;  叶征
收藏  |  浏览/下载：171/0  |  提交时间：2020/01/10
Numerical Simulation of Antennae by Discrete Exterior Calculus 期刊论文
COMMUNICATIONS IN THEORETICAL PHYSICS, 2009, 卷号: 52, 期号: 6, 页码: 1067-1070
作者:  Xie Zheng;  Ye Zheng;  Ma Yu-Jie
收藏  |  浏览/下载：108/0  |  提交时间：2018/07/30
discrete exterior calculus  discrete variation  Maxwell equations  lattice gauge theory  antennae  
Numerical Simulation of Electromagnetic Waves Scattering by Discrete Exterior Calculus 期刊论文
CHINESE PHYSICS LETTERS, 2009, 卷号: 26, 期号: 8, 页码: 4
作者:  Ye Zheng;  Xie Zheng;  Ma Yu-Jie
收藏  |  浏览/下载：116/0  |  提交时间：2018/07/30
基于指标形式张量的微分几何定理机器证明 期刊论文
系统科学与数学, 2009, 卷号: 000, 期号: 009, 页码: 1238
作者:  叶征;  曹源昊;  谢正;  李洪波
收藏  |  浏览/下载：141/0  |  提交时间：2020/01/10