Equal opportunity interactive systems
International Journal of Man-Machine Studies
User interface design
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Affordance, conventions, and design
interactions
The Mathematica book (4th edition)
The Mathematica book (4th edition)
Principles of Programming Languages
Principles of Programming Languages
Persistent Turing Machines as a Model of Interactive Computation
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
A novel pen-based calculator and its evaluation
Proceedings of the third Nordic conference on Human-computer interaction
Hi-index | 0.01 |
Taking Mathematica and xThink as representatives of the state of the art in interactive mathematics, we argue conventional mathematical user interfaces leave much to be desired, because they separate the mathematics from the context of the user interface, which remains as unmathematical as ever. We put the usability of such systems into mathematical perspective, and compare the conventional approach with a novel declarative, gesture-based approach, exemplified by TruCalc , a novel calculator we have developed.