A System for Automated Deduction in Engineering Mechanics.
Philip ToddPublished in: Math. Comput. Sci. (2020)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- engineering design
- artificial intelligence
- logic programming
- inference rules
- software engineering
- deductive databases
- engineering problems
- active learning
- case study
- e learning
- computer aided design
- systems engineering
- electrical engineering
- quantum mechanics
- machine learning