Ordering in mechanical geometry theorem proving

DOI10.1007/BF02874514zbMath0882.68134MaRDI QIDQ1368227

Hong-Bo Li

Publication date: 28 September 1997

Published in: Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

Wu's method

Mathematics Subject Classification ID

Related Items (1)

On Erdos' ten-point problem

Cites Work

• Basic principles of mechanical theorem proving in elementary geometries
• Unnamed Item
• Unnamed Item

This page was built for publication: Ordering in mechanical geometry theorem proving