A computer algebra user interface manifesto.

David R. Stoutemyer

Published in: ACM Commun. Comput. Algebra (2013)

Keyphrases

computer algebra
user interface
theorem prover
human computer interaction
user friendly
computer algebra systems
user interaction
automated theorem provers
machine learning
information technology
user experience
user interface design
social networks
web services
database systems
expert systems