Proceedings of the Second International Workshop on Automated Deduction in Geometry

• Authors:

• Xiao-Shan Gao;Dongming Wang;Lu Yang

• Affiliations:

• -;-;-

• Venue:
• ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
• Year:
• 1998