Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM 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.
a service of 
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.
last updated on 2024-06-10 21:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
