文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
D Wang
发表
A MECHANICAL PROVING SYSTEM FOR CONSTRUCTIBLE THEOREMS IN ELEMENTARY GEOMETRY
D Wang, D. Wang, 1987 .
“PROVING BY EXAMPLES”METHOD AND THE INCLUSION OF VARIETIES
D Wang, 1989 .