MathScribe: a user interface for computer algebra systems.
C. J. SmithNeil SoifferPublished in: SYMSAC (1986)
Keyphrases
- user interface
- computer algebra systems
- computer algebra
- theorem prover
- theorem proving
- human computer interaction
- user friendly
- user interface design
- end users
- application development
- user experience
- database
- user interaction
- expert systems
- design principles
- first order logic
- mashup
- interface design
- three dimensional
- data mining