Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.
Lu YangXiao-Shan GaoShang-Ching ChouJing-Zhong ZhangPublished in: Automated Deduction in Geometry (1996)
Keyphrases
- automated theorem provers
- semi automated
- fully automated
- data driven
- production system
- production planning
- sequent calculus
- theorem proving
- computer aided
- cut elimination
- theorem prover
- decision making
- human operators
- production cost
- manufacturing processes
- computer algebra
- optimal solution
- proof search
- knowledge base