Ordering in automated theorem proving of differential geometry

DOI10.1007/BF02683818zbMath0940.68125WikidataQ115391876 ScholiaQ115391876MaRDI QIDQ1299842

Minteh Cheng, Hong-Bo Li

Publication date: 31 July 2000

Published in: Acta Mathematicae Applicatae Sinica. English Series (Search for Journal in Brave)

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Surfaces in Euclidean and related spaces (53A05) Curves in Euclidean and related spaces (53A04)

Cites Work

• Clifford algebraic reduction method for automated theorem proving in differential geometry
• Mechanical theorem proving in differential geometry: Local theory of surfaces
• Unnamed Item

This page was built for publication: Ordering in automated theorem proving of differential geometry