Abstract is missing.
- Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for MathematicsNils Schwinning, Melanie Schypula, Michael Striewe, Michael Goedicke. [doi]
- Formalizing a Named Explicit Substitutions Calculus in CoqWashington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura. [doi]
- Mathematical Language Processing ProjectRobert Pagel, Moritz Schubotz. [doi]
- OpenMath Language ExtensionsMichael Kohlhase. [doi]
- The SymbolicData Project - Towards a Computer Algebra Social NetworkHans-Gert Graebe, Andreas Nareike, Simon Johanning. [doi]
- Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths SubjectsRoxanne Leitão, Chris Roast. [doi]
- FEncy: Spreadsheet Formulae ExplorationAndrea Kohlhase, Alexandru Toader. [doi]
- Towards the Structure of Mathematical ProofReinhard Kahle. [doi]
- Design of Search Interfaces for MathematiciansAndrea Kohlhase. [doi]
- Formula Collection Mobile Apps Realized by TeachersPaul Libbrecht, Kerstin Schneider. [doi]
- Using Small-Step Refinement For Algorithm Verification In Computer Science EducationDanijela Petrovic. [doi]
- Extension Proposal: Records in Pragmatic OpenMathMichael Kohlhase. [doi]
- Another Look at Formal Mathematical PropertiesJames H. Davenport. [doi]
- GCD - A Case Study on Lucas-InterpretationWalther Neuper. [doi]
- Towards a Universal Interface for Real-Time Mathematical CommunicationMarco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang. [doi]
- Literate Sources for Content Dictionaries: A Progress ReportLars Hellström. [doi]
- MMT ObjectsFlorian Rabe. [doi]
- Certified Proofs in Programs Involving ExceptionsJean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud. [doi]
- Author Profile Pages in zbMATH - Improving Accuracy through User InteractionHelena Mihaljevic-Brandt, Fabian Müller, Nicolas Roy. [doi]
- Visualization of Tangent Developables on a Volumetric DisplayOu Yamamoto, Masatoshi Kokubu. [doi]
- ε in CoqJaime Gaspar. [doi]
- Firefox OS Web Apps for ScienceRaniere Silva, Frédéric Wang. [doi]
- The eval Symbol for Axiomatising Variadic FunctionsLars Hellström. [doi]
- OpenMathMap: InteractionCarmela Acevedo, Michael Kohlhase. [doi]
- Reproducing a Geometric Working SessionPedro Quaresma, Vanda Santos, Juan Moral. [doi]