Automated Production of Traditional Proofs in Solid Geometry.
Shang-Ching ChouXiao-Shan GaoJing-Zhong ZhangPublished in: J. Autom. Reason. (1995)
Keyphrases
- three dimensional
- automated theorem provers
- fully automated
- production system
- geometric structure
- theorem proving
- quality control
- geometric constraints
- video sequences
- computer algebra
- image sequences
- production scheduling
- data driven
- geometric features
- machine learning
- distribution networks
- semiconductor manufacturing
- manufacturing process
- decision procedures
- geometric information
- semi automated
- database systems
- data sets
- theorem prover
- scheduling problem