geometry theorem proving
Recently Published Documents
Benjamin Grégoire
◽
Loïc Pottier
◽
Laurent Théry
Hsi-Hsun Yang
◽
Sheng-Kai Yin
◽
Wing-Kwong Wong
Yingying Jiang
◽
Feng Tian
◽
Hongan Wang
◽
Xiaolong Zhang
◽
Xugang Wang
◽
...
2009 ◽
Vol 42
(3)
◽
pp. 158-159
Shuichi Moritsugu
◽
Chisato Arai
2009 ◽
Vol 3
(3)
◽
pp. 231
◽
Wing Kwong Wong
◽
Chun Wei Huang
◽
Sheng Kai Yin
◽
Hsi Hsun Yang
◽
Po Yu Chen
◽
...
2004 ◽
Vol 19
(6)
◽
pp. 820-827
Yong-Bin Li
◽
Wu Liu
◽
Xiao-Lin Xiang
Noboru Matsuda
◽
Kurt VanLehn
Ricardo Caferra
◽
Nicolas Peltier
◽
François Puitg