Clifford algebraic reduction method for automated theorem proving in differential geometry

DOI10.1023/A:1005819428156zbMath0914.03015OpenAlexW1519451845MaRDI QIDQ1272600

Minteh Cheng, Hong-Bo Li

Publication date: 3 January 1999

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005819428156

zbMATH Keywords

Clifford algebraautomated theorem provingWu's methodequation set solvinglocal theory of space curves

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Curves in Euclidean and related spaces (53A04) Software, source code, etc. for problems pertaining to differential geometry (53-04)

Related Items (3)

A review and prospect of readable machine proofs for geometry theorems ⋮ ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. ⋮ Ordering in automated theorem proving of differential geometry

This page was built for publication: Clifford algebraic reduction method for automated theorem proving in differential geometry