Keyphrases
- computer algebra
- user interface
- theorem prover
- end users
- human computer interaction
- user friendly
- user interaction
- user interface design
- computer algebra systems
- automated theorem provers
- application development
- design principles
- user experience
- expert systems
- probabilistic model
- user centered
- information technology
- learning environment
- image processing