Calculemus/MKM

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)