AISC/MKM/Calculemus

Keyphrases

Publications

2012

Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus (2012)
Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. AISC/MKM/Calculemus (2012)
Andrea Asperti
Proof, Message and Certificate. AISC/MKM/Calculemus (2012)
Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura
Real Algebraic Strategies for MetiTarski Proofs. AISC/MKM/Calculemus (2012)
Iain Whiteside, David Aspinall, Gudmund Grov
An Essence of SSReflect. AISC/MKM/Calculemus (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
On Formal Specification of Maple Programs. AISC/MKM/Calculemus (2012)
Mladen Nikolic, Predrag Janicic
CDCL-Based Abstract State Transition System for Coherent Logic. AISC/MKM/Calculemus (2012)
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus (2012)
Czeslaw Bylinski, Jesse Alama
New Developments in Parsing Mizar. AISC/MKM/Calculemus (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
Towards the Formal Specification and Verification of Maple Programs. AISC/MKM/Calculemus (2012)
Kevin Kofler, Arnold Neumaier
DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language. AISC/MKM/Calculemus (2012)
Rui Hu, Vadim Mazalov, Stephen M. Watt
A Streaming Digital Ink Framework for Multi-party Collaboration. AISC/MKM/Calculemus (2012)
Vadim Mazalov, Stephen M. Watt
Writing on Clouds. AISC/MKM/Calculemus (2012)
Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin
Understanding the Learners' Actions when Using Mathematics Learning Tools. AISC/MKM/Calculemus (2012)
Carst Tankink, Christoph Lange, Josef Urban
Point-and-Write - Documenting Formal Mathematics by Reference. AISC/MKM/Calculemus (2012)
Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic
Formalizing Frankl's Conjecture: FC-Families. AISC/MKM/Calculemus (2012)
Josef B. Baker, Alan P. Sexton, Volker Sorge
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus (2012)
Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe
Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus (2012)
Jónathan Heras, María Poza, Julio Rubio
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus (2012)
Vesna Marinkovic, Predrag Janicic
Towards Understanding Triangle Construction Problems. AISC/MKM/Calculemus (2012)
Jacques Carette, Russell O'Connor
Theory Presentation Combinators. AISC/MKM/Calculemus (2012)
Florian Rabe
A Query Language for Formal Mathematical Libraries. AISC/MKM/Calculemus (2012)
David J. Wilson, Russell J. Bradford, James H. Davenport
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. AISC/MKM/Calculemus (2012)
Phil Scott, Jacques D. Fleuriot
A Combinator Language for Theorem Discovery. AISC/MKM/Calculemus (2012)
Jesse Alama, Lionel Mamane, Josef Urban
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. AISC/MKM/Calculemus (2012)
Artur Kornilowicz
Tentative Experiments with Ellipsis in Mizar. AISC/MKM/Calculemus (2012)
Stefan Hetzl
Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP). AISC/MKM/Calculemus (2012)
Constantin Jucovschi
Cost-Effective Integration of MKM Semantic Services into Editing Environments. AISC/MKM/Calculemus (2012)
Alan P. Sexton
Abramowitz and Stegun - A Resource for Mathematical Document Analysis. AISC/MKM/Calculemus (2012)
Mihnea Iancu, Florian Rabe
Management of Change in Declarative Languages. AISC/MKM/Calculemus (2012)
Andrea Asperti, Wilmer Ricciotti
A Web Interface for Matita. AISC/MKM/Calculemus (2012)
Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu
MathWebSearch 0.5: Scaling an Open Formula Search Engine. AISC/MKM/Calculemus (2012)
Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus (2012)
Gabriel Dos Reis
A System for Axiomatic Programming. AISC/MKM/Calculemus (2012)
Michael Kohlhase
The Planetary Project: Towards eMath3.0. AISC/MKM/Calculemus (2012)
Mnacho Echenim, Nicolas Peltier
Reasoning on Schemata of Formulæ. AISC/MKM/Calculemus (2012)
Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus (2012)
Makarius Wenzel
Isabelle/jEdit - A Prover IDE within the PIDE Framework. AISC/MKM/Calculemus (2012)

volume 7362, 2012

Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings AISC/MKM/Calculemus 7362 (2012)

2010

volume 6167, 2010

Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings AISC/MKM/Calculemus 6167 (2010)