Engineering the Prover Interface.
Holger GastPublished in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
- software engineering
- user interface
- theorem proving
- engineering design
- artificial intelligence
- graphical interface
- engineering problems
- theorem prover
- engineering systems
- multiscale
- physical sciences
- engineering students
- user friendly
- computer aided design
- search algorithm
- e learning
- genetic algorithm
- cross platform
- direct manipulation
- neural network
- materials science
- database