Mathematical Mathematical User Interfaces

  • Harold Thimbleby
  • Will Thimbleby
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4940)


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.


User Interface Turing Machine Equal Opportunity Hide State Editing Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Casio, Casio ClassPad 300 Resource Center (2006),
  2. 2.
    Garvan, F.: The MAPLE Book. CRC Press, Boca Raton (2001)CrossRefzbMATHGoogle Scholar
  3. 3.
    Goldin, D.Q., Keil, D.: Persistent Turing Machines as a Model of Interactive Computation. Foundations of Information and Knowledge Systems, 116–135 (2000)Google Scholar
  4. 4.
    Norman, D.A.: Affordances, Conventions and Design. Interactions 6(3), 38–43 (1999)CrossRefGoogle Scholar
  5. 5.
    Padovani, L., Solmi, R.: An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 302–316. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Petkowšek, M., Wilf, H.S., Zeilberger, D.: A = B. A K Peters (1996)Google Scholar
  7. 7.
    Quine, W.V.O.: Word and Object. MIT Press, Cambridge (1960)zbMATHGoogle Scholar
  8. 8.
    Runciman, C., Thimbleby, H.: Equal opportunity interactive systems. Int. J. Man-Mach. Stud. 25(4), 439–451 (1986)CrossRefGoogle Scholar
  9. 9.
    Tennent, R.D.: Principles of Programming Languages. Prentice-Hall, Englewood Cliffs (1981)zbMATHGoogle Scholar
  10. 10.
    Théry, L., Bertot, Y., Kahn, G.: Real Theorem Provers Deserve Real User-Interfaces. In: Proc. Fifth ACM Symposium on Software Development Environments, pp. 120–129 (1992)Google Scholar
  11. 11.
    Thimbleby, H.: What You See is What You Have Got—A User-Engineering Principle for Manipulative Display? First German ACM Conference on Software Ergonomics. In: Proc. ACM German Chapter, vol. 14, pp. 70–84 (1983)Google Scholar
  12. 12.
    Thimbleby, H.: User Interface Design. Addison-Wesley, Reading (1990)Google Scholar
  13. 13.
    Thimbleby, H.: A New Calculator and Why it is Necessary. Computer Journal 38(6), 418–433 (1996)CrossRefGoogle Scholar
  14. 14.
    Thimbleby, W.: A Novel Pen-based Calculator and Its Evaluation. In: Proc. ACM NordiCHI 2004, pp. 445–448 (2004)Google Scholar
  15. 15.
    Thimbleby, W., Thimbleby, H.: A Novel Gesture-Based Calculator and Its Design Principles. In: Proc. BCS HCI Conference, vol. 2, pp. 27–32 (2005)Google Scholar
  16. 16.
    Thimbleby, W., Thimbleby, H.: TruCalc (2006),
  17. 17.
    Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. In: Proc. London Mathematical Society, Series 2, 42, 230–265 (1936/7) (corrected Series 2, 43, 544–546 (1937))Google Scholar
  18. 18.
    Wolfram, S.: The Mathematica Book, 4th edn., Cambridge (1999)Google Scholar
  19. 19.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Harold Thimbleby
    • 1
  • Will Thimbleby
    • 1
  1. 1.Department of Computer ScienceUniversity of SwanseaSWANSEAWales

Personalised recommendations