Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
Benjamin Grégoire
◽
Loïc Pottier
◽
Laurent Théry
SHANG-CHING CHOU
◽
WILLIAM F. SCHELTER
◽
JIN-GEN YANG
Noboru Matsuda
◽
Kurt VanLehn
1995 ◽
Vol 13
(1-2)
◽
pp. 73-95
◽
Yingying Jiang
◽
Feng Tian
◽
Hongan Wang
◽
Xiaolong Zhang
◽
Xugang Wang
◽
...
2009 ◽
Vol 3
(3)
◽
pp. 231
◽
Wing Kwong Wong
◽
Chun Wei Huang
◽
Sheng Kai Yin
◽
Hsi Hsun Yang
◽
Po Yu Chen
◽
...
Hsi-Hsun Yang
◽
Sheng-Kai Yin
◽
Wing-Kwong Wong
Ricardo Caferra
◽
Nicolas Peltier
◽
François Puitg