Some human interaction issues in computer algebra.

Norbert Kajler Neil Soiffer

Published in: ACM SIGCHI Bull. (1994)

Keyphrases

human interaction
computer algebra
human computer interaction
human interactions
theorem prover
external information
physical environment
key issues
natural interaction
computer algebra systems
image sequences
natural language
expert systems
context aware
human operators
open issues