CICM-WS-WiP 2014
Workshop and Work in Progress Papers at CICM 2014

Table of Contents

• Preface to the Joint Volume
  Matthew England
  

Mathematical User Interfaces (MathUI)

• MathUI Preface
  Paul Libbrecht, Andrea Kohlhase
  
• OpenMathMap: Interaction
  Carmela Acevedo, Michael Kohlhase
  
• Design of Search Interfaces for Mathematicians
  Andrea Kohlhase
  
• FEncy: Spreadsheet Formulae Exploration
  Andrea Kohlhase , Alexandru Toader
  
• Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects
  Roxanne Leitão, Chris Roast
  
• Formula Collection Mobile Apps Realized by Teachers
  Paul Libbrecht, Kerstin Schneider
  
• Author Profile Pages in zbMATH - Improving Accuracy through User Interaction
  Helena Mihaljević-Brandt, Fabian Müller, Nicolas Roy
  
• Towards a Universal Interface for Real-Time Mathematical Communication
  Marco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang
  
• Firefox OS Web Apps for Science
  Raniere Silva, Frédéric Wang
  
• Visualization of Tangent Developables on a Volumetric Display
  Ou Yamamoto, Masatoshi Kokubu
  

OpenMath

• OpenMath Preface
  James H. Davenport
  
• Another Look at Formal Mathematical Properties
  James H. Davenport
  
• The eval Symbol for Axiomatising Variadic Functions
  Lars Hellström
  
• Literate Sources for Content Dictionaries: A Progress Report
  Lars Hellström
  
• Extension Proposal: Records in Pragmatic OpenMath
  Michael Kohlhase
  
• OpenMath Language Extensions
  Michael Kohlhase
  
• MMT Objects
  Florian Rabe
  

Theorem proving components for Educational software (ThEdu)

• ThEdu Preface
  Walther Neuper
  
• Short Introduction by Example to Coq and Formalising ZF ⊆ ZF_ε in Coq
  Jaime Gaspar
  
• GCD — A Case Study on Lucas-Interpretation
  Walther Neuper
  
• Using Small-Step Refinement For Algorithm Verification In Computer Science Education
  Danijela Petrović
  

Work in Progress

• Work in Progress Preface
  Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban
  
• Formalizing a Named Explicit Substitutions Calculus in Coq
  Washington de Carvalho Segundo, Flávio L. C. De Moura, Daniel Ventura
  
• Certified Proofs in Programs Involving Exceptions
  Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
  
• The SymbolicData Project – Towards a Computer Algebra Social Network.
  Hans-Gert Graebe, Andreas Nareike, Simon Johanning
  
• Towards the Structure of Mathematical Proof
  Reinhard Kahle
  
• Mathematical Language Processing Project
  Robert Pagel, Moritz Schubotz
  
• Reproducing a Geometric Working Session
  Pedro Quaresma, Vanda Santos, Juan Moral
  
• Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for Mathematics
  Nils Schwinning, Melanie Schypula, Michael Striewe, Michael Goedicke