Some human interaction issues in computer algebra.

Norbert Kajler Neil Soiffer

Published in: SIGSAM Bull. (1994)

Keyphrases

human interaction
computer algebra
human computer interaction
human interactions
external information
theorem prover
key issues
physical environment
natural interaction
knowledge base
relational databases
user interface
hidden markov models
degrees of freedom
daily life