Login / Signup
Calculemus/MKM
2007
2011
2007
2011
Keyphrases
Publications
2011
Andrea Asperti
,
Maria Emilia Maietti
,
Claudio Sacerdoti Coen
,
Giovanni Sambin
,
Silvio Valentini
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.
Calculemus/MKM
(2011)
Makarius Wenzel
Isabelle as Document-Oriented Proof Assistant.
Calculemus/MKM
(2011)
Francisco Botana
A Symbolic Companion for Interactive Geometric Systems.
Calculemus/MKM
(2011)
Andreas Distler
,
Muhammad Shah
,
Volker Sorge
Enumeration of AG-Groupoids.
Calculemus/MKM
(2011)
Jesse Alama
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library.
Calculemus/MKM
(2011)
Alexey Solovyev
,
Thomas C. Hales
Efficient Formal Verification of Bounds of Linear Programs.
Calculemus/MKM
(2011)
Mihai Codescu
,
Feryal Fulya Horozal
,
Michael Kohlhase
,
Till Mossakowski
,
Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN).
Calculemus/MKM
(2011)
Bastiaan Heeren
,
Johan Jeuring
Interleaving Strategies.
Calculemus/MKM
(2011)
Robbert Krebbers
,
Freek Wiedijk
A Formalization of the C99 Standard in HOL, Isabelle and Coq.
Calculemus/MKM
(2011)
Christoph Lange
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data.
Calculemus/MKM
(2011)
Petr Sojka
,
Martin Líska
Indexing and Searching Mathematics in Digital Libraries - Architecture, Design and Scalability Issues.
Calculemus/MKM
(2011)
Robbert Krebbers
,
Bas Spitters
Computer Certified Efficient Exact Reals in Coq.
Calculemus/MKM
(2011)
Vladimir Komendantsky
,
Alexander Konovalov
,
Steve Linton
View of Computer Algebra Data from Coq.
Calculemus/MKM
(2011)
Florian Rabe
,
Michael Kohlhase
,
Claudio Sacerdoti Coen
A Foundational View on Integration Problems.
Calculemus/MKM
(2011)
Cezary Kaliszyk
,
Tetsuo Ida
Proof Assistant Decision Procedures for Formalizing Origami.
Calculemus/MKM
(2011)
Serge Autexier
,
Catalin David
,
Dominik Dietrich
,
Michael Kohlhase
,
Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.
Calculemus/MKM
(2011)
Jesse Alama
,
Michael Kohlhase
,
Lionel Mamane
,
Adam Naumowicz
,
Piotr Rudnicki
,
Josef Urban
Licensing the Mizar Mathematical Library.
Calculemus/MKM
(2011)
Marcos Cramer
,
Peter Koepke
,
Bernhard Schröder
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System.
Calculemus/MKM
(2011)
Jónathan Heras
,
Vico Pascual
,
Julio Rubio
A System for Computing and Reasoning in Algebraic Topology.
Calculemus/MKM
(2011)
Jacques Carette
,
William M. Farmer
,
Russell O'Connor
MathScheme: Project Description.
Calculemus/MKM
(2011)
Deyan Ginev
,
Heinrich Stamerjohanns
,
Bruce R. Miller
,
Michael Kohlhase
The LaTeXML Daemon: Editable Math on the Collaborative Web.
Calculemus/MKM
(2011)
Daniel Kühlwein
,
Josef Urban
,
Evgeni Tsivtsivadze
,
Herman Geuvers
,
Tom Heskes
Learning2Reason.
Calculemus/MKM
(2011)
Manfred Kerber
,
Colin Rowat
,
Wolfgang Windsteiger
in the Formalization of Theoretical Economics.
Calculemus/MKM
(2011)
Jónathan Heras
,
María Poza
,
Maxime Dénès
,
Laurence Rideau
Incidence Simplicial Matrices Formalized in Coq/SSReflect.
Calculemus/MKM
(2011)
Feryal Fulya Horozal
,
Alin Iacob
,
Constantin Jucovschi
,
Michael Kohlhase
,
Florian Rabe
Combining Source, Content, Presentation, Narration, and Relational Representation.
Calculemus/MKM
(2011)
Jozef Misutka
,
Leo Galambos
System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org.
Calculemus/MKM
(2011)
Iain Whiteside
,
David Aspinall
,
Lucas Dixon
,
Gudmund Grov
Towards Formal Proof Script Refactoring.
Calculemus/MKM
(2011)
Gabriel Dos Reis
,
David C. J. Matthews
,
Yue Li
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.
Calculemus/MKM
(2011)
Jesse Alama
,
Kasper Brink
,
Lionel Mamane
,
Josef Urban
Large Formal Wikis: Issues and Solutions.
Calculemus/MKM
(2011)
José Borbinha
,
Thierry Bouche
,
Aleksander Nowinski
,
Petr Sojka
Project EuDML - A First Year Demonstration.
Calculemus/MKM
(2011)
volume 6824, 2011
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Calculemus/MKM
6824 (2011)
2009
George Goguadze
Representation for Interactive Exercises.
Calculemus/MKM
(2009)
John P. Fitch
CAMAL 40 Years on - Is Small Still Beautiful?.
Calculemus/MKM
(2009)
Russell J. Bradford
,
James H. Davenport
,
Christopher J. Sangwin
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.
Calculemus/MKM
(2009)
Bastiaan Heeren
,
Johan Jeuring
Canonical Forms in Interactive Exercise Assistants.
Calculemus/MKM
(2009)
Josef B. Baker
,
Alan P. Sexton
,
Volker Sorge
A Linear Grammar Approach to Mathematical Formula Recognition from PDF.
Calculemus/MKM
(2009)
Dorothea Blostein
Math-Literate Computers.
Calculemus/MKM
(2009)
Paul Tarau
A Groupoid of Isomorphic Data Transformations.
Calculemus/MKM
(2009)
David Ruddy
Assembling the Digital Mathematics Library.
Calculemus/MKM
(2009)
Ekaterina Shemyakova
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators.
Calculemus/MKM
(2009)
Francisco-Jesús Martín-Mateos
,
Julio Rubio
,
José-Luis Ruiz-Reina
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System.
Calculemus/MKM
(2009)
Lionel Elie Mamane
,
Herman Geuvers
,
James McKinna
A Logically Saturated Extension of lambdaµµ.
Calculemus/MKM
(2009)
Andrea Kohlhase
,
Michael Kohlhase
Compensating the Computational Bias of Spreadsheets with MKM Techniques.
Calculemus/MKM
(2009)
Patrick D. F. Ion
Some Traditional Mathematical Knowledge Management.
Calculemus/MKM
(2009)
Jónathan Heras
,
Vico Pascual
,
Julio Rubio
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.
Calculemus/MKM
(2009)
Andrea Kohlhase
,
Michael Kohlhase
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.
Calculemus/MKM
(2009)
Jana Giceva
,
Christoph Lange
,
Florian Rabe
Integrating Web Services into Active Mathematical Documents.
Calculemus/MKM
(2009)
Cristian S. Calude
,
Christine Müller
Formal Proof: Reconciling Correctness and Understanding.
Calculemus/MKM
(2009)
James H. Davenport
,
Michael Kohlhase
Unifying Math Ontologies: A Tale of Two Standards.
Calculemus/MKM
(2009)
volume 5625, 2009
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Calculemus/MKM
5625 (2009)