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