@comment{It is strongly recommended to use BibLaTeX for these entries}

@inproceedings{Moore:CICM-WS-WiP2013,
title = {Tagged mathematics in {PDFs} for accessibility and other purposes},
author = {Ross Moore},
url = {http://ceur-ws.org/Vol-1010/paper-01.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Misutka:CICM-WS-WiP2013,
title = {Scaling feature based mathematical search engine for real-world document sets},
author = {Jozef Mi{\v s}utka},
url = {http://ceur-ws.org/Vol-1010/paper-02.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Murray-Rust:CICM-WS-WiP2013,
title = {The {Declaratron}, semantic specification for scientific computation using {MathML}},
author = {Dave Murray-Rust and Peter Murray-Rust},
url = {http://ceur-ws.org/Vol-1010/paper-03.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{CarterMonks:WiP:CICM-WS-WiP2013,
title = {{Lurch}: a word processor that can grade students' proofs},
author = {Nathan C. Carter and Kenneth G. Monks},
url = {http://ceur-ws.org/Vol-1010/paper-04.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Meshveliani:CICM-WS-WiP2013,
title = {Dependent types for an adequate programming of algebra},
author = {Sergei D. Meshveliani},
url = {http://ceur-ws.org/Vol-1010/paper-05.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{BottaEtAl:CICM-WS-WiP2013,
title = {Sequential decision problems, dependently-typed solutions},
author = {Nicola Botta and Cezar Ionescu and Edwin Brady},
url = {http://ceur-ws.org/Vol-1010/paper-06.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Ballarin:CICM-WS-WiP2013,
title = {Reading an algebra textbook},
author = {Clemens Ballarin},
url = {http://ceur-ws.org/Vol-1010/paper-07.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{BaetaQuaresma:CICM-WS-WiP2013,
title = {The full angle method on the {OpenGeoProver}},
author = {Nuno Baeta and Pedro Quaresma},
url = {http://ceur-ws.org/Vol-1010/paper-08.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Neuper:CICM-WS-WiP2013,
title = {Computer algebra implemented in {Isabelle}'s function package under {Lucas}-Interpretation -- a Case Study},
author = {Walther Neuper},
url = {http://ceur-ws.org/Vol-1010/paper-09.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{AndresEtAl:CICM-WS-WiP2013,
title = {Towards automatic generation of domain-specific mathematical input support},
author = {Eric Andr{\`e}s and Bastiaan Heeren and Johan Jeuring},
url = {http://ceur-ws.org/Vol-1010/paper-10.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{AnjewierdenEtAl:CICM-WS-WiP2013,
title = {{Ziggy}: very interactive trigonometry},
author = {Anjo Anjewierden and Ellen T. Kamp and Ton de Jong},
url = {http://ceur-ws.org/Vol-1010/paper-11.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{DorrieKohlhase:CICM-WS-WiP2013,
title = {{OpenMathMap}: accessing math via interactive maps},
author = {Jan Wilken D{\"o}rrie and Michael Kohlhase},
url = {http://ceur-ws.org/Vol-1010/paper-12.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Ginev:CICM-WS-WiP2013,
title = {{NNexus} {Glasses}: a drop-in showcase for wikification},
author = {Deyan Ginev},
url = {http://ceur-ws.org/Vol-1010/paper-13.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{HuWatt:CICM-WS-WiP2013,
title = {{InkChat}: a collaboration tool for mathematics},
author = {Rui Hu and Stephen M. Watt},
url = {http://ceur-ws.org/Vol-1010/paper-14.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{IancuEtAl:CICM-WS-WiP2013,
title = {The {Scala-REPL} + {MMT} as a lightweight mathematical user interface},
author = {Mihnea Iancu and Felix Mance and Florian Rabe},
url = {http://ceur-ws.org/Vol-1010/paper-15.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{KnopperCuypers:CICM-WS-WiP2013,
title = {Interactive mathematical videos},
author = {Hans Cuypers and Jan Willem Knopper},
url = {http://ceur-ws.org/Vol-1010/paper-16.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Kohlhase:CICM-WS-WiP2013,
title = {Spreadsheets: from data interfaces to knowledge interfaces},
author = {Andrea Kohlhase},
url = {http://ceur-ws.org/Vol-1010/paper-17.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Marques:CICM-WS-WiP2013,
title = {Edition with {Arabic} mathematical notation},
author = {Daniel Marqu{\`e}s},
url = {http://ceur-ws.org/Vol-1010/paper-18.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{MazalovWatt:CICM-WS-WiP2013,
title = {Recommendation systems in mathematical character recognition},
author = {Vadim Mazalov and Stephen M. Watt},
url = {http://ceur-ws.org/Vol-1010/paper-19.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{NicaudViudez:CICM-WS-WiP2013,
title = {Implementation of dynamic algebra in {Epsilonwriter}},
author = {Jean-Fran{\c c}ois Nicaud and Christophe Viudez},
url = {http://ceur-ws.org/Vol-1010/paper-20.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Hellstrom:Quantifiers:CICM-WS-WiP2013,
title = {Quantifiers and n-ary binders: an {OpenMath} standard enhancement proposal},
author = {Lars Hellstr{\"o}m},
url = {http://ceur-ws.org/Vol-1010/paper-21.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{Hellstrom:Literate:CICM-WS-WiP2013,
title = {Literate sources for content dictionaries},
author = {Lars Hellstr{\"o}m},
url = {http://ceur-ws.org/Vol-1010/paper-22.pdf},
crossref = {CICM-WS-WiP2013},
}

@inproceedings{CarterMonks:OM:CICM-WS-WiP2013,
title = {{Lurch}: a word processor built on {OpenMath} that can check mathematical reasoning},
author = {Nathan C. Carter and Kenneth G. Monks},
url = {http://ceur-ws.org/Vol-1010/paper-23.pdf},
crossref = {CICM-WS-WiP2013},
}

@proceedings{CICM-WS-WiP2013,
  booktitle    = {{MathUI}, {OpenMath}, {PLMMS} and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics},
  title    = {Joint Proceedings of the {MathUI}, {OpenMath}, {PLMMS} and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2013},
year = 2013,
editor = {Christoph Lange and David Aspinall and Jacques Carette and James Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Pedro Quaresma and Florian Rabe and Petr Sojka and Iain Whiteside and Wolfgang Windsteiger},
number = 1010,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1010/},
venue = {Bath, UK},
eventdate    = {2013-07-08/2013-07-12}
}

