Keyphrases
- quantum computation
- user friendly
- virtual reality
- neural network
- graphical interface
- theorem proving
- theorem prover
- user interaction
- databases
- computer graphics
- decision support
- first order logic
- decision trees
- feature selection
- search engine
- information visualization
- genetic algorithm
- highly interactive
- interactive video
- formal proofs