Automated Production of Traditional Proofs for Constructive Geometry Theorems
Shang-Ching ChouXiao-Shan GaoJing-Zhong ZhangPublished in: LICS (1993)
Keyphrases
- semi automated
- automated theorem provers
- sequent calculus
- cut elimination
- proof search
- natural gas
- automated analysis
- fully automated
- theorem proving
- production planning
- formal proof
- linear logic
- production scheduling
- production system
- semi automatic
- multiscale
- three dimensional
- theorem prover
- real time
- computer assisted
- geometric features
- decision procedures
- manufacturing process
- multistage
- scheduling problem
- information retrieval
- neural network
- data sets