default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM Workshops 2014: Coimbra, Portugal
- Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014
Mathematical User Interfaces (MathUI)
- Carmela Acevedo, Michael Kohlhase:
OpenMathMap: Interaction. - Andrea Kohlhase:
Design of Search Interfaces for Mathematicians. - Andrea Kohlhase, Alexandru Toader:
FEncy: Spreadsheet Formulae Exploration. - Roxanne Leitão, Chris Roast:
Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects. - Paul Libbrecht, Kerstin Schneider:
Formula Collection Mobile Apps Realized by Teachers. - Helena Mihaljevic-Brandt, Fabian Müller, Nicolas Roy:
Author Profile Pages in zbMATH - Improving Accuracy through User Interaction. - Marco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang:
Towards a Universal Interface for Real-Time Mathematical Communication. - Raniere Silva, Frédéric Wang:
Firefox OS Web Apps for Science. - Ou Yamamoto, Masatoshi Kokubu:
Visualization of Tangent Developables on a Volumetric Display.
OpenMath
- James H. Davenport:
Another Look at Formal Mathematical Properties. - Lars Hellström:
The eval Symbol for Axiomatising Variadic Functions. - Lars Hellström:
Literate Sources for Content Dictionaries: A Progress Report. - Michael Kohlhase:
Extension Proposal: Records in Pragmatic OpenMath. - Michael Kohlhase:
OpenMath Language Extensions. - Florian Rabe:
MMT Objects.
Theorem proving components for Educational software (ThEdu)
- Jaime Gaspar:
Short Introduction by Example to Coq and Formalising ZF ⊆ ZFε in Coq. - Walther Neuper:
GCD - A Case Study on Lucas-Interpretation. - Danijela Petrovic:
Using Small-Step Refinement For Algorithm Verification In Computer Science Education.
Work in Progress
- Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura:
Formalizing a Named Explicit Substitutions Calculus in Coq. - Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud:
Certified Proofs in Programs Involving Exceptions. - Hans-Gert Gräbe, Andreas Nareike, Simon Johanning:
The SymbolicData Project - Towards a Computer Algebra Social Network. - Reinhard Kahle:
Towards the Structure of Mathematical Proof. - Robert Pagel, Moritz Schubotz:
Mathematical Language Processing Project. - Pedro Quaresma, Vanda Santos, Juan Moral:
Reproducing a Geometric Working Session. - Nils Schwinning, Melanie Schypula, Michael Striewe, Michael Goedicke:
Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for Mathematics.
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-11-22 19:48 CET 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:
