Workshops and Work in Progress at CICM

• The 25th OpenMath Workshop

• Workshop on Programming Languages for Mechanized Mathematical Systems (PLMMS)

• The 2th Workshop on Theorem proving components for Educational software (ThEdu)

• The Work in Progress Section of the CICM

co-located with Conferences on Intelligent Computer Mathematics (CICM 2013)

David Aspinall, University of Edinburgh, UK

Jacques Carette, McMaster University, Canada

James Davenport, University of Bath, UK

Andrea Kohlhase, Jacobs University Bremen, Germany

Michael Kohlhase, Jacobs University Bremen, Germany

Paul Libbrecht, Center for Educational Research in Mathematics and Technology, Martin-Luther-University Halle-Wittenberg, Germany

Pedro Quaresma, University of Coimbra, Portugal

Florian Rabe, Jacobs University Bremen, Germany

Petr Sojka, Masaryk University, Czech Republic

Iain Whiteside, Newcastle University, UK

Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria

- Preface

Andrea Kohlhase, Paul Libbrecht - Towards automatic generation of domain-specific mathematical input support

Eric Andrès, Bastiaan Heeren, Johan Jeuring - Ziggy: very interactive trigonometry

Anjo Anjewierden, Ellen T. Kamp, Ton de Jong - OpenMathMap: accessing math via interactive maps

Jan Wilken Dörrie, Michael Kohlhase - NNexus Glasses: a drop-in showcase for wikification

Deyan Ginev - InkChat: a collaboration tool for mathematics

Rui Hu, Stephen M. Watt - The Scala-REPL + MMT as a lightweight mathematical user interface

Mihnea Iancu, Felix Mance, Florian Rabe - Interactive mathematical videos

Hans Cuypers, Jan Willem Knopper - Spreadsheets: from data interfaces to knowledge interfaces

Andrea Kohlhase - Edition with Arabic mathematical notation

Daniel Marquès Solé - Recommendation systems in mathematical character recognition

Vadim Mazalov, Stephen M. Watt - Implementation of dynamic algebra in Epsilonwriter

Jean-François Nicaud, Christophe Viudez

- Preface

James Davenport, Michael Kohlhase, Christoph Lange - Quantifiers and n-ary binders: an OpenMath standard enhancement proposal

Lars Hellström - Literate sources for content dictionaries

Lars Hellström - Lurch: a word processor built on OpenMath that can check mathematical reasoning

Nathan C. Carter, Kenneth G. Monks

- Preface

Florian Rabe, Iain Whiteside - Dependent types for an adequate programming of algebra

Sergei D. Meshveliani - Sequential decision problems, dependently-typed solutions

Nicola Botta, Cezar Ionescu, Edwin Brady - Reading an algebra textbook

Clemens Ballarin

- Preface

Pedro Quaresma - The full angle method on the OpenGeoProver

Nuno Baeta, Pedro Quaresma - Computer algebra implemented in Isabelle's function package under Lucas-interpretation
— a case study

Walther Neuper

- Preface

David Aspinall, Jacques Carette, Christoph Lange, Petr Sojka, Wolfgang Windsteiger - Tagged mathematics in PDFs for accessibility and other purposes

Ross Moore - Scaling feature based mathematical search engine for real-world document sets

Jozef Mišutka - The Declaratron, semantic specification for scientific computation using MathML

Dave Murray-Rust, Peter Murray-Rust - Lurch: a word processor that can grade students' proofs

Nathan C. Carter, Kenneth G. Monks

We offer a BibTeX file for citing papers of this workshop from LaTeX.

2013-07-10: submitted by Christoph Lange

2013-07-10: published on CEUR-WS.org