10

at the Conference on Intelligent Computer Mathematics (CICM)

Washington, USA, July 2015

We invite you to join the MathUI workshop on July 13^{th}.

Registrations are open on the CICM Registration web page.

At least the following presentations will be made at MathUI 2015, on Monday July 13^{th} as part of the
CICM day 1 programme.

**Semantics:**

- 9:45-10:30 Davide Cervone, Peter Krautzberger and Volker Sorge
Towards Meaningful Visual Abstraction of Mathematical Notation

The large variety of form factors to view web pages and the proliferation of the pinch-to-zoom paradigm requires web-content to adapt both font sizes and reflow to the requirements of diverse displays and varying magnification. For specialist web content, such as mathematical formulas, this is not straight forward. We present a first approach to ``responsive equations'', a rendering method for MathML that adapts gracefully to small screens. The main idea is to reduce size of equations by abstracting over well-defined parts of formulas without obscuring the overall structure of an expression. We achieve this by embedding a semantic structure into the MathML representation underlying the rendering process and by collapsing mathematically meaningful sub-expressions.

- coffee break
- 11:00-11:45 Deyan Ginev, Nathan Jenkins and Alberto Pepe
Live Mathematics in Authorea: Data, Computation and Visualization

Authorea is a collaborative platform for writing in research and education, with a focus on web-first, high quality scientific documents.

We offer a tour through our integration of technologies that evolve math-rich papers into transparent, active objects. To enumerate, we currently employ Pandoc and LaTeXML (for authoring), MathJax (for math rendering and clipboard), D3.js (data visualization), iPython (computation), Flotchart and Bokeh (interactive plots).

This paper presents the challenges and rewards of integrating active web components for mathematics, while preserving backwards-compatibility with classic publishing formats. We conclude with an outlook to the next-to-come mathematics enhancements on Authorea, and a technology wishlist for the coming year. - 11:45-12:30 Michael Kohlhase, Sourabh Lal, Tom Wiesing and Deyan Ginev:

KAT: an Annotation Tool for STEM Documents

Contemporary natural language processing (NLP) systems are based on corpora of annotated documents for training and evaluation. To extend NLP to documents from Science, Technology, Engineering, and Mathematics (STEM) we need annotation systems that can dealwith structured elements like mathematical formulae, tables, and possibly even diagrams. Current linguistic annotation systems treat documents as word sequences and disregard the structure of complex document elements, and are therefore unsuited for STEM annotation as this very structure carries important syntactic and semantic information.

We present the KAT system, a browser-based annotation tool for linguistic/semantic annotations in structured (XHTML5, i.e. HTML + MathML + SVG in XML serialization) documents. As KAT is parametric in the annotation ontology and represents annotations as RDF, it can easily be integrated into RDF-based corpus management systems; we present an integration into the CorTeX system. - lunch break

14:00-15:00 The afternoon will start with an an invited talk by Jim Pitman: Towards a Global Digital Mathematics Library.

**Interactions:**

- 15:00-15:45 Naomi Pentrel and Michael Kohlhase
Relational Presentation Using Semantic Closeness

Visualization of knowledge is important to foster learning. Especially so in Mathematics where students have to understand not just the topic hand but also related concepts. It would therefore be ideal to have a simple way to find dependencies and present students with an easy way to catch up on topics they have not learned yet without losing context.

Our research takes an existing annotated corpus and presents its contents while allowing students to see dependencies between topics and encouraging them to explore related mathematical concepts. Thus stu- dents can interactively learn the concepts the current topic depends on by taking small detours through those topics, should they need to refresh their memories. This approach to presenting learning materials changes how we interact with course materials and it is ultimately applicable to almost all areas in which knowledge needs to be transferred. - coffee break
- 16:30-17:15 Philippe R. Richard, Michel Gagnon and Josep Maria Fortuny

Interactive management of problems in geometry for the development of student skills and the acquisition of mathematical knowledge

Our paper presents a research project of the didactics of mathematics and computer engineering in which solving problems is both a condition and a result of mathematical learning. We introduce the concept of connected problems as a means used by a teacher agent to relaunch a solving process among students when a blockage has been reached. Whilst our theoretical approach focuses on educational and cognitive interactions, we give special attention to the cK¢ model of knowledge, the model of the mathematical working space and the concept of a zone of proximal development. In particular, we show how the notion of interaction connects theoretical and methodological challenges of the project.

- 17:15-18:00 Andrea Kohlhase and Ana Guseva:
Co-Occurrences of Context Dimensions of Spreadsheets

We are interested in the spreadsheet as a form of mathematical user interface and especially in the underlying human-spreadsheet interaction with respect to the target groups of readers and authors of spreadsheets. For understanding users' comprehension of a spreadsheet we looked into the context space, i.e., the space build up of information dimensions along which users try to grasp the presented content.

Our recent research has shown that, on the one hand, there is a clear difference of the context space between spreadsheet readers and authors. On the other hand, spreadsheet complexity does not distinguish the users' context space.

Here, we are looking even deeper into the elicited data to find out whether and if so, how context dimensions depend on each other. If there are significant differences between such co-occurrences with respect to user roles or complexity, then we can make use of the results to enhance user-assistance systems for spreadsheets.

18:00-19:00 MathUI will be concluded by an exhibit-like demonstration session. Proposed demonstrations should be announced to the chair.

MathUI is an international workshop to discuss how users can be best supported when doing/learning/searching for/interacting with mathematics using a computer.

- Is mathematical user interface design a design for representing mathematics, embedding mathematical context, or a specific design for mathematicians?
- How is mathematics for which purpose best represented?
- What specifically math-oriented support is needed?
- Does learning of math require a platform different than other learning platforms?
- Which mathematical services can be offered?
- Which services can be meaningfully combined?
- What best practices wrt. mathematics can be found and how can they be best communicated? 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.

**TOPICS** include:

- 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

Austria

- Wolfgang Windsteiger, Research Institute for Symbolic Computation

Canada

- Marco Pollanen, Trent University

France

- Jana Trgalova Ufe, Universite Claude Bernard Lyon 1

Germany

- Andrea Kohlhase (organizer), University of Applied Sciences Neu-Ulm
- Paul Libbrecht (organizer), University of Education of Weingarten
- Wolfram Sperber, Zentralblatt MATH

Netherlands

- Felienne Hermans, Delft University of Technology

USA

- Olga Caprotti, Florida State University
- Deyan Ginev, Authorea, New York
- Patrick Ion, American Mathematical Society and Math Reviews
- Elena Smirnova, Texas Instruments Inc. Education Technology

Please advertise MathUI'15 further:

- We sent the text Call for papers in your circles
- Share the MathUI'15 web-page: http://cermat.org/events/MathUI/15/
- MathUI is advertised on a number of mailing-lists, to a number of individuals, and on the interaction design calendar.
- The last edition of MathUI happened in Coimbra and over the internet on July 10
^{th}; its proceedings can be seen at the web-page and in the CEUR-WS joint proceedings. - Former editions of MathUI can be seen in the archive.
- For inquiries please contact:

- Paul Libbrecht, paul@cermat.org or
- Andrea Kohlhase, Andrea.Kohlhase@hs-neu-ulm.de