A Survey of User Interfaces for Computer Algebra Systems.
Norbert KajlerNeil SoifferPublished in: J. Symb. Comput. (1998)
Keyphrases
- computer algebra systems
- user interface
- computer algebra
- theorem prover
- theorem proving
- user friendly
- user experience
- human computer interaction
- graphical user interfaces
- aesthetically pleasing
- multi user
- design principles
- user interaction
- end users
- expert systems
- website
- artificial intelligence
- neural network
- real time