![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CICM 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.
![](https://dblp.uni-trier.de/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.