![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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:
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
Mathematical User Interfaces (MathUI)
- Eric Andres, Bastiaan Heeren, Johan Jeuring:
Towards automatic generation of domain-specific mathematical input support. - Anjo Anjewierden, Ellen T. Kamp, Ton de Jong:
Ziggy: very interactive trigonometry. - Jan Wilken Dörrie, Michael Kohlhase:
OpenMathMap: accessing math via interactive maps. - Deyan Ginev:
NNexus Glasses: a drop-in showcase for wikification. - Rui Hu, Stephen M. Watt:
InkChat: a collaboration tool for mathematics. - Mihnea Iancu, Felix Mance, Florian Rabe:
The Scala-REPL + MMT as a lightweight mathematical user interface. - Hans Cuypers, Jan Willem Knopper:
Interactive mathematical videos. - Andrea Kohlhase:
Spreadsheets: from data interfaces to knowledge interfaces. - Daniel Marquès Solé:
Edition with Arabic mathematical notation. - Vadim Mazalov, Stephen M. Watt:
Recommendation systems in mathematical character recognition. - Jean-François Nicaud, Christophe Viudez:
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, Kenneth G. Monks:
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, Cezar Ionescu, Edwin C. Brady:
Sequential decision problems, dependently-typed solutions. - Clemens Ballarin:
Reading an algebra textbook.
Theorem proving components for Educational software (ThEdu)
- Nuno Baeta, Pedro Quaresma:
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, Peter Murray-Rust:
The Declaratron, semantic specification for scientific computation using MathML. - Nathan C. Carter, Kenneth G. Monks:
Lurch: a word processor that can grade students' proofs.
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.