Mathematical User-Interfaces
Workshop 2006

Gallery

This gallery contains contributed user-interfaces screenshots. We would look forward to your contribution of screenshots per e-mail.

CPoint

As presented at MathUI'04 in CPoint's Mathematical User Interface.

Cinderella

As presented at MathUI'04, in Using automatic theorem proving to improve the usability of geometry software and Pen-based Input of Geometric Constructions

Frege's Begriffschrift

As presented at MathUI'04, in A mechanized environment for Frege's Begriffschrift.

Infty

As presented at MathUI'04, in Authoring tool for mathematical documents � Infty �.

Theorema

As presented at MathUI'04, in User interface features in Theorema, a summary.

TeXMacs

As presented at MathUI'04.

Thimbleby's Calculator

See Calculuators of maths construction.

Alcor

As presented at MathUI'04, in Alcor: A user interface for Mizar

LeActiveMath Search

See the ActiveMath home page.