User Interfaces for Symbolic Computation: A Case Study.

Published in: ACM Symposium on User Interface Software and Technology (1993)

Keyphrases

user interface
case study
end users
human computer interaction
user friendly
test bed
aesthetically pleasing
artificial intelligence
image processing
object recognition
design principles
data model
imperative programs
automated deduction
real time
artificial neural networks
databases
data sets