Calculemus/MKM
Journal
Overview
publication venue for

A Formalization of the C99 Standard in HOL, Isabelle and Coq.
2011

A Foundational View on Integration Problems.
2011

A Symbolic Companion for Interactive Geometric Systems.
2011

A System for Computing and Reasoning in Algebraic Topology.
2011

Combining Source, Content, Presentation, Narration, and Relational Representation.
2011

Computer Certified Efficient Exact Reals in Coq.
2011

Efficient Formal Verification of Bounds of Linear Programs.
2011

Enumeration of AGGroupoids.
2011

Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.
2011

Incidence Simplicial Matrices Formalized in Coq/SSReflect.
2011

Indexing and Searching Mathematics in Digital Libraries  Architecture, Design and Scalability Issues.
2011

Intelligent Computer Mathematics  18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 1823, 2011. Proceedings
2011

Interleaving Strategies.
2011

Isabelle as DocumentOriented Proof Assistant.
2011

Krextor  An Extensible Framework for Contributing Content Math to the Web of Data.
2011

Large Formal Wikis: Issues and Solutions.
2011

Learning2Reason.
2011

Licensing the Mizar Mathematical Library.
2011

Parsing and Disambiguation of Symbolic Mathematics in the Naproche System.
2011

Project Abstract: Logic Atlas and Integrator (LATIN).
2011

Project EuDML  A First Year Demonstration.
2011

Proof Assistant Decision Procedures for Formalizing Origami.
2011

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.
2011

System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org.
2011

The LaTeXML Daemon: Editable Math on the Collaborative Web.
2011

Towards Formal Proof Script Refactoring.
2011

Using Theorema in the Formalization of Theoretical Economics.
2011

View of Computer Algebra Data from Coq.
2011

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.
2011

mizaritems: Exploring FineGrained Dependencies in the Mizar Mathematical Library.
2011

Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 612, 2009. Proceedings
2009