Calculemus/MKM Journal

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 AG-Groupoids. 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 18-23, 2011. Proceedings 2011
• Interleaving Strategies. 2011
• Isabelle as Document-Oriented 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
• mizar-items: Exploring Fine-Grained 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 6-12, 2009. Proceedings 2009