- 2011
- Christoph Lange
:
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. Calculemus/MKM 2011: 304-306 - Jesse Alama:
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library. Calculemus/MKM 2011: 276-277 - Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. Calculemus/MKM 2011: 133-148 - Jesse Alama, Michael Kohlhase
, Lionel Mamane, Adam Naumowicz
, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 - 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: 278-280 - 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: 164-179 - José Borbinha
, Thierry Bouche
, Aleksander Nowinski, Petr Sojka
:
Project EuDML - A First Year Demonstration. Calculemus/MKM 2011: 281-284 - Francisco Botana
:
A Symbolic Companion for Interactive Geometric Systems. Calculemus/MKM 2011: 285-286 - Jacques Carette
, William M. Farmer, Russell O'Connor:
MathScheme: Project Description. Calculemus/MKM 2011: 287-288 - Mihai Codescu
, Feryal Fulya Horozal, Michael Kohlhase
, Till Mossakowski
, Florian Rabe
:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - Marcos Cramer, Peter Koepke, Bernhard Schröder
:
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. Calculemus/MKM 2011: 180-195 - Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase
:
The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294 - Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211 - Jónathan Heras
, María Poza, Maxime Dénès, Laurence Rideau:
Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM 2011: 30-44 - Jónathan Heras
, Vico Pascual
, Julio Rubio
:
A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM 2011: 295-297 - Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase
, Florian Rabe
:
Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227 - Cezary Kaliszyk
, Tetsuo Ida:
Proof Assistant Decision Procedures for Formalizing Origami. Calculemus/MKM 2011: 45-57 - Manfred Kerber, Colin Rowat, Wolfgang Windsteiger:
Using Theorema in the Formalization of Theoretical Economics. Calculemus/MKM 2011: 58-73 - Vladimir Komendantsky, Alexander Konovalov
, Steve Linton:
View of Computer Algebra Data from Coq. Calculemus/MKM 2011: 74-89 - Robbert Krebbers, Freek Wiedijk:
A Formalization of the C99 Standard in HOL, Isabelle and Coq. Calculemus/MKM 2011: 301-303 - Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes
:
Learning2Reason. Calculemus/MKM 2011: 298-300 - Jozef Misutka
, Leo Galambos
:
System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org. Calculemus/MKM 2011: 307-309 - Florian Rabe
, Michael Kohlhase
, Claudio Sacerdoti Coen
:
A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122 - 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: 15-29 - Petr Sojka
, Martin Líska:
Indexing and Searching Mathematics in Digital Libraries - Architecture, Design and Scalability Issues. Calculemus/MKM 2011: 228-243 - Alexey Solovyev, Thomas C. Hales:
Efficient Formal Verification of Bounds of Linear Programs. Calculemus/MKM 2011: 123-132 - Makarius Wenzel:
Isabelle as Document-Oriented Proof Assistant. Calculemus/MKM 2011: 244-259 - Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov:
Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275