The proceedings of MathUI 2014 are online in this web-page as well
as in CEUR-WS as part of the Joint proceedings
CICM-WS-WiP edited by Matthew England.
The MathUI workshop has been broadcast on the web.
See the Online MathUI web-page.
- 9:00-9:30: Andrea Kohlhase:
Design of Search Interfaces for Mathematicians
The availability of mathematical knowledge on the Web changes
mathematical practices. In a study of professional
mathematicians' search behavior we identified ten behavioral
patterns particular to mathematicians. In this paper, we
present a set of design goals for mathematical search
interfaces implied by these patterns and insights derived from
- 9:30-9:45 Helena Mihaljevic-Brandt, Fabian Müller and Nicolas Roy:
Author profile pages in zbMATH – improving accuracy through user
A solid and distinctive online record of a scientist's research
achievements is nowadays a must, in particular for a researcher at an
early career stage looking for a better university position, applying
for a grant or a promotion, or trying to establish new contacts and
build partnerships and projects. In the global world of science there
are already numerous services offering research profile sites, such
as Google Scholar, Scopus or ORCID. In the field of mathematics,
however, the community still relies a lot on the traditional services
MathSciNet and zbMATH, which stand for a high level of quality control
regarding data inclusion and assignment. However, the enormously
growing number of mathematical publications and new mathe- maticians
begs the question of how to design author profile pages for
mathematicians which fit the new trends of communication in the era of
social networks, while keeping (or better increasing) the existing
level of reliability. In our contribution we plan to present some
ideas from the development team of zbMATH addressing this topic.
Invited talk: Jaime Carvalho e Silva
11:30-12:30: What international studies say about the importance and limitations of using computers to teach mathematics in secondary schools Room (amphitheatre)
- 14:30-15:00 Frédéric Wang and Raniere Silva:
Firefox OS Web Apps for Science
In this document, we describe recent work made by the Mozilla
MathML team to help publishing scientific content using Web
technologies. We focus on the Firefox OS platform currently
being developed by Mozilla that provides a good framework to
create mathematical user interfaces on mobile devices.(see also the pdf)
- 15:00-15:30 Paul Libbrecht and Kerstin Schneider: (online)
Formula Collection Mobile Apps Realized by Teachers
Formula collections are books used in several European
countries to support the practice of mathematics of by its learners
and later by its practitioners. They are compendia of mathematical
formulæ that students employ during their studies, and which may be of
use in later professional life. This research explores the
opportunity of bringing the formula collection to the mobile phones of
the school students. It is motivated by the fact that the formula
collection may be one of the rare objects that pupils may refer to
later in their lives, when mathematical knowledge needs to be
recalled. Making it a mobile phone app makes it a zero weight object
which is in easy reach. Technically, this app is realized by a set of
HTML files compiled into a mobile application. This makes the formula
collection a first class citizen that students can easily access.
More importantly, this makes it an artifact that teachers can create
themselves instead of relying on a publisher: using their notations
and their selected content. The centerpoint of this research is to
enable teachers in creating and delivering such an app to the mobile
devices of their students.
- 15:30-16:00 Marco Pollanen, Jeff Hooper, Bruce Cater and Sohee Kang:(online)
Towards a Universal Interface for Real-Time Mathematical Communication
Rapid growth in mobile computing has given rise to a dramatic
evolution in communication tools that have the potential to transform
the educational experience. Because of the complexities of
mathematical communication, however, progress towards the realization
of that potential has been particularly slow in the mathematical
sciences. We are addressing this by developing iCE (interface for
Collaborative Equations), a multimodal mathematical communication
environment for post-secondary mathematics and statistics
courses. Based on our experiences with this, we discuss the user
requirements and difficulties in building a universal interface – one
that allows users, ranging from mathematical novices to experts, to
intuitively communicate mathematics in real-time using a broad range
of computing devices.
Formulæ in Spreadsheets
- 16:30-17:00 Andrea Kohlhase and Alexandru Toader:
FEncy: Spreadsheet Formulae Exploration
Spreadsheets are well-known to be frequently-used but
error-prone communication devices. They are useful since they are
active (e.g., automatic computation), provide a cognitive notation
system drawing on visualizing values, meanings and relations at the
same time (enabled by labeled, color-coded grids), and provide
easy-to-use domain-specific operations (e.g., computational
functions). The latter, in particular, is enabled by the text-style
formula format in spreadsheets, in which variables are replaced by
cell references. For simply-structured formulae this works very
well. To keep the formulae simple, computations are modularized into
subformulae and as such distributed over and beyond the
spreadsheet. This makes the provenance (tree) of spreadsheet values
difficult to understand – a probable cause for the high error rate in
spreadsheets. To explore and navigate the subformulae involved in the
computation of a cell value we present the subformula explorer
"FEncy", a tree-based, explorative interface: Whenever a user clicks
on a cell its formula becomes the root of a cell-dependency
graph. Each child node displays the formula of a cell (or range)
reference used in the parent formula either in the original text-style
or potentially in math notation. Moreover, each node represents a
direct link to the respective cell (or range), so that it can be used
for formula navigation as well.
- 17:00-17:30 Roxanne Leitão and Chris Roast:
Developing visualisations for spreadsheet formulae: towards increasing the accessibility of science, technology, engineering and maths subjects
Spreadsheets are widely used within Science, technology,
engineering and maths education. Despite their widespread use,
end-user spreadsheet errors are still extremely common and have been
shown to have an adverse effect on learning. The textual
representation of formulas can be particularly complex and
error-prone, exacerbating barriers to dyslexic users. Our work focuses
on the design and development of a visual language to graphically
represent spreadsheet formulae, with the objective of making them
easier to understand than their default textual form. This work
contributes to a body of human factors research focused upon
From 18:00 to, about, 19:00, we shall have the demo session. Programme still to be announced.
MathUI is an international workshop to discuss how users interact
with mathematics represented on a computer.
- Did users of your software have the a-ha moment after exploring
- Did you meet a team of people that exchanged math electronically as easily as talking together on a blackboard?
- Is it as easy to search for mathematics facts as to search for a
- Have mathematics learning resources a special flavor that make them less easy to re-use?
We invite all questions, that care for the use of mathematics on computers and
how the user experience can be improved, to be discussed in the workshop.
- user-requirements for math interfaces
- presentation formats
- mobile-devices powered mathematics
- cultural differences in practices of mathematical languages
- didactically sensible scenarios of use
- spreadsheets as mathematical interfaces
- manipulations of mathematical expressions
This workshop follows a successful series of workshops held at the
Conferences on Intelligent Computer Mathematics since 10 years; it
features presentations of brand new ideas in papers selected by a
review process, wide space for discussions, as well as a software
The organizers invite authors to submit contributions of 6 to 12 pages on the workshop-related topics in PDF format
optionally illustrated by supplementary media such as video recordings or access to demos.
Deadline for submissions: May 22nd 2014 (extended).
Method of submission: Please login and submit via EasyChair.
The submissions will be reviewed by the international programme committee, whose comments and
recommendations will be sent back by June 6th requesting a final version no later than June 16.
Moreover, MathUI will be concluded by an expo-like demonstration session.
Proposed demonstrations should be sent by email until June 20th,
containing a URL to a software description, a title, a short abstract of the demonstrated features, and
the indication of hardware expectations (own/lent laptop/tablet, internet access (speed?), power, ...).
After a short elevator pitch,
the demonstration session will run for 1-3 hours.
Finally, registration for the participation to the workshop shall be handled by the CICM organization and is documented on the CICM site.
The following persons have accepted to review:
- David Aspinall
School of Informatics, University of Edinburgh, Scotland
- Paul Cairns
University of York, Great Britain
- Olga Caprotti
University of Helsinki, Finland
- Andrea Hoffkamp
HU Berlin, Germany
- Patrick Ion, American Mathematical Society, Rhode Island, USA
- Andrea Kohlhase (organizer)
Jacobs University, Bremen, Germany
- Christoph Lange
Applied Computer Science, University of Bonn, Fraunhofer IAIS, Germany.
- Paul Libbrecht (organizer)
Computer Science, University of Education of Weingarten, Germany
- Helena Mihaljevic-Brandt
- Elena Smirnova
Texas Instruments Inc. Education Technology, USA
- Marco Pollanen
Department of Mathematics, Trent University, Canada
- Frédéric Wang
Self-employed Gecko/WebKit MathML developer, Paris, France
Please advertise MathUI'14 further: