Keyphrases
- theorem prover
- user friendly
- theorem proving
- data visualization
- virtual reality
- mathematical proofs
- product configuration
- interactive systems
- computer graphics
- artificial neural networks
- pairwise
- case study
- decision procedures
- web services
- image processing
- natural deduction
- formal proofs
- equational theories
- databases