Mathematical User Interfaces
Workshop 2013

At the Conferences on Intelligent Computer Mathematics
University of Bath, UK, July 10th, 2013


The proceedings, including the papers below, of the workshop are also part of the proceedings of Workshops and Work in Progress at CICM, volume 1010 of CEUR-WS (ISSN 1613-0073).


The following papers have been presented at the workshop on July 10th in room 8W 2.1.

08:30-10:00 Session 1: Understand

Chair: Helena Mihaljevic-Brandt

10:00-10:30: coffee break

10:30-12:30: Session 2: Learn

Chair: Paul Libbrecht

14:00-15:30: Session 3: Input

Chair: Andrea Kohlhase

16:00-18:00: Session 4: Evaluation & Demonstration

Chair: Christoph Lange

The demonstration session of the MathUI workshop is an exhibit where each software is demonstrated by their authors. It starts at 16:30 with an elevator pitch of 90 seconds per demo and finishes at 18:00. The following demonstrations are accepted:

The evening continues in the same room with the DML Panel discussion: Fifty Shades of *DML (18:00-19:00).

Sketchometry: Drawing a parallel


MathUI is an international workshop for discussing mathematical user interfaces, i.e., ideas and studies of how users (can) interact with mathematical representations on a computer. Topics include:

This workshop follows a successful series of meetings held at the Conferences on Intelligent Computer Mathematics; it features presentations of brand new ideas in papers selected by a review process, wide space for discussions, as well as a software demonstration session.

deco: Flange pricing calculation between CAD and Spreadsheet with Sally Invitations

We have welcome submissions that present new ideas, features, user-studies, and software systems relevant to MathUI in the form of a description (4-8 pages) and/or a video submitted to the easychair system. The programme committee has reviewed the submission following criteria of originality and applicability. The final forms of the papers are included in the proceedings on this web page and on CEUR-WS.

Programme Committee

The programme committee review work is indebted to the following persons in the review process: Mihnea Iancu, Christoph Lange, Azzeddine Lazrek, Christoph Lüth, Steven Obua, Corneliu-Claudiu Prodescu, and Iain Whiteside