×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
数学与系统科学研究院 [2]
内容类型
期刊论文 [2]
发表日期
2010 [2]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共2条,第1-2条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
收藏
  |  
浏览/下载:21/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
收藏
  |  
浏览/下载:13/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
©版权所有 ©2017 CSpace - Powered by
CSpace