FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

volume 1785, 2017

Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. FM4M/MathUI/ThEdu/DP/WIP@CIKM 1785 (2017)

2016

Juan Lao-Tebar, Francisco Alvaro, Daniel Marques
Proposal for Coexistence of Mathematical Handwritten and Keyboard Input in a WYSIWYG Expression Editor. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Aleksy Schubert
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Andreas Holmstrom
A first step towards automated conjecture-making in higher arithmetic geometry. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Chad Brown
Invited talk: Developments, Libraries and Automated Theorem Provers. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Ion Toloaca, Michael Kohlhase
Notation-based Semantification. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Dennis Müller
Knowledge Management across Formal Libraries. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Andrea Kohlhase, Michael Fürsich
Understanding Mathematical Expressions: An Eye-Tracking Study. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Initial Experiments with Statistical Conjecturing over Large Formal Corpora. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Moritz Schubotz
Augmenting Mathematical Formulae for More Effective Querying & Presentation. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Moritz Schubotz, David Veenhuis, Howard S. Cohl
Getting the units right. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Denis Rochau, Michael Kohlhase, Dennis Müller
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Karol Pak
Topological Foundations for a Formal Theory of Manifolds. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Hiroyuki Okazaki, Yuichi Futa
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Tom Wiesing, Felix Schmoll
KAT: an Annotation Tool for STEM Documents. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Théo Zimmermann
Design and development of a tool based on Coq to write and format mathematical proofs. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Adam Naumowicz
Linking to Compound Conditions in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Mario Carneiro
Formalization of the prime number theorem and Dirichlet's theorem. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Marek Janasz
Automated theorem proving for elementary geometry. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Karol Pak
Lemma Extraction Criteria Based on Properties of Theorem Statements. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Walther Neuper
Lucas-Interpretation from Users' Perspective. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Walther Neuper
Rigor of TP in Educational Engineering Software. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Artur Kornilowicz
Registrations vs Redefinitions in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Paul Libbrecht, Matija Lokar
The plain text trap when copying mathematical formulae. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Moritz Schubotz, Alan P. Sexton
A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Adam Grabowski, Roland Coghetto
Tarski's Geometry and the Euclidean Plane in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Karol Pak, Aleksy Schubert
The impact of proof steps sequence on proof readability - experimental setting. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber
swMATH - Challenges, Next Steps, and Outlook. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Lucius Schoenbaum
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe
A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Mario Carneiro
Models for Metamath. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)