CICM Workshops 2013: Bath, UK
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR-WS.org 2013 CEUR Workshop Proceedings 1010
Mathematical User Interfaces (MathUI)
- Eric Andres: Towards automatic generation of domain-specific mathematical input support.
- Anjo Anjewierden: Ziggy: very interactive trigonometry.
- Jan Wilken Dörrie: OpenMathMap: accessing math via interactive maps.
- Deyan Ginev: NNexus Glasses: a drop-in showcase for wikification.
- Rui Hu: InkChat: a collaboration tool for mathematics.
- Mihnea Iancu: The Scala-REPL + MMT as a lightweight mathematical user interface.
- Hans Cuypers: Interactive mathematical videos.
- Andrea Kohlhase: Spreadsheets: from data interfaces to knowledge interfaces.
- Daniel Marquès Solé: Edition with Arabic mathematical notation.
- Vadim Mazalov: Recommendation systems in mathematical character recognition.
- Jean-François Nicaud: Implementation of dynamic algebra in Epsilonwriter.
OpenMath
- Lars Hellström: Quantifiers and n-ary binders: an OpenMath standard enhancement proposal.
- Lars Hellström: Literate sources for content dictionaries.
- Nathan C. Carter: Lurch: a word processor built on OpenMath that can check mathematical reasoning.
Programming Languages for Mechanizes Mathematical Systems (PLMMS)
- Sergei D. Meshveliani: Dependent types for an adequate programming of algebra.
- Nicola Botta: Sequential decision problems, dependently-typed solutions.
- Clemens Ballarin: Reading an algebra textbook.
Theorem proving components for Educational software (ThEdu)
- Nuno Baeta: The full angle method on the OpenGeoProver.
- Walther Neuper: Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study.
Work in Progress
- Ross Moore: Tagged mathematics in PDFs for accessibility and other purposes.
- Jozef Misutka: Scaling feature based mathematical search engine for real-world document sets.
- Dave Murray-Rust: The Declaratron, semantic specification for scientific computation using MathML.
- Nathan C. Carter: Lurch: a word processor that can grade students' proofs.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team