Lu Yang;Hongguang Fu;Zhenbing Zeng
-;-;-
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry