Computer algebra in interface design research.

Harold W. Thimbleby Jeremy Gow

Published in: IUI (2004)

Keyphrases

interface design
computer algebra
human computer interaction
human computer
user interface
theorem prover
user experience
information seeking
design principles
advisory systems
design guidelines
computer algebra systems
web users
automated theorem provers
database applications
user centered