Mechanical theorem proving in differential geometry: Local theory of surfaces

DOI10.1007/BF02911434zbMath0880.68117OpenAlexW2332193196WikidataQ115391227 ScholiaQ115391227MaRDI QIDQ1368208

Hong-Bo Li

Publication date: 17 November 1997

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

Full work available at URL: https://doi.org/10.1007/bf02911434

zbMATH Keywords

Wu's methodautomated reasoning method

Mathematics Subject Classification ID

Related Items (2)

Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant ⋮ Ordering in automated theorem proving of differential geometry

Cites Work

• Unnamed Item

This page was built for publication: Mechanical theorem proving in differential geometry: Local theory of surfaces