中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
二阶对称张量场可视化的一种新模式 期刊论文
计算机工程与应用, 2011, 卷号: 047, 期号: 006, 页码: 1
作者:  宋伟杰;  崔俊芝;  叶正麟;  周敏
收藏  |  浏览/下载：102/0  |  提交时间：2020/01/10
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
收藏  |  浏览/下载：80/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
收藏  |  浏览/下载：85/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  
Some omega-unique and omega-P properties for linear transformations on Hilbert spaces 期刊论文
ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, 2010, 卷号: 26, 期号: 1, 页码: 23-32
作者:  Miao, Xin-he;  Huang, Zheng-hai;  Han, Ji-ye
收藏  |  浏览/下载：122/0  |  提交时间：2018/07/30
Linear complementarity problem  Jordan product  Lorentz cone  omega-P property  column sufficient  property  omega-uniqueness property  
图表追踪的一种机器实现方法 期刊论文
中国科学数学, 2010, 卷号: 000, 期号: 007, 页码: 660
作者:  谢正;  叶征;  李洪波;  黄雷
收藏  |  浏览/下载：33/0  |  提交时间：2020/01/10
基于面图标的三维对称张量场可视化研究 期刊论文
工程图学学报, 2010, 卷号: 000, 期号: 006, 页码: 146
作者:  宋伟杰;  崔俊芝;  叶正麟
收藏  |  浏览/下载：90/0  |  提交时间：2020/01/10
一种需求驱动的自主Web服务聚集方法 期刊论文
软件学报, 2010, 卷号: 000, 期号: 006, 页码: 1181
作者:  叶荣华;  金芝;  王璞巍;  郑丽伟;  杨夏芬
收藏  |  浏览/下载：45/0  |  提交时间：2020/01/10
离散外微分与计算电磁学 期刊论文
中国科学数学, 2010, 卷号: 000, 期号: 002, 页码: 127
作者:  谢正;  马玉杰;  叶征
收藏  |  浏览/下载：139/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
收藏  |  浏览/下载：90/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
收藏  |  浏览/下载：88/0  |  提交时间：2018/07/30