Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: Indianapolis, IN, USA
- Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa
, Martin Suda:
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. CEUR Workshop Proceedings 1785, CEUR-WS.org 2017
FM4M - Formal Mathematics for Mathematicians
- Chad Brown:
Invited talk: Developments, Libraries and Automated Theorem Provers. 2 - Aleksy Schubert:
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. 3 - Adam Grabowski, Roland Coghetto:
Tarski's Geometry and the Euclidean Plane in Mizar. 4-9 - Mario Carneiro:
Formalization of the prime number theorem and Dirichlet's theorem. 10-13 - Karol Pak:
Topological Foundations for a Formal Theory of Manifolds. 14-16 - Artur Kornilowicz:
Registrations vs Redefinitions in Mizar. 17-20 - Adam Naumowicz:
Linking to Compound Conditions in Mizar. 21-24
The 11th Workshop on Mathematical User Interfaces (MathUI)
- Lucius Schoenbaum:
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. 26-41 - Andrea Kohlhase, Michael Fürsich:
Understanding Mathematical Expressions: An Eye-Tracking Study. 42-50 - Paul Libbrecht, Matija Lokar:
The plain text trap when copying mathematical formulae. 50-55 - Juan Lao-Tebar, Francisco Alvaro, Daniel Marques:
Proposal for Coexistence of Mathematical Handwritten and Keyboard Input in a WYSIWYG Expression Editor. 56-65 - Tom Wiesing, Felix Schmoll:
KAT: an Annotation Tool for STEM Documents. 66-72 - Ion Toloaca, Michael Kohlhase:
Notation-based Semantification. 73-81
The 2016 Workshop on Theorem proving components for Educational software (ThEdu)
- Walther Neuper:
Lucas-Interpretation from Users' Perspective. 83-89 - Walther Neuper:
Rigor of TP in Educational Engineering Software. 90-95
The CICM 2016 Doctoral Program
- Marek Janasz:
Automated theorem proving for elementary geometry. 97 - Dennis Müller:
Knowledge Management across Formal Libraries. 98-101 - Moritz Schubotz:
Augmenting Mathematical Formulae for More Effective Querying & Presentation. 102-103 - Théo Zimmermann:
Design and development of a tool based on Coq to write and format mathematical proofs. 104-105
The Work in Progress Section of the DML track of CICM 2016
- Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber:
swMATH - Challenges, Next Steps, and Outlook. 107-116 - Hiroyuki Okazaki, Yuichi Futa:
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. 117-131 - Moritz Schubotz, Alan P. Sexton:
A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. 132-145 - Moritz Schubotz, David Veenhuis, Howard S. Cohl:
Getting the units right. 146-156
The Work in Progress Section of the MKM track of CICM 2016
- Karol Pak:
Lemma Extraction Criteria Based on Properties of Theorem Statements. 158-171 - Karol Pak, Aleksy Schubert:
The impact of proof steps sequence on proof readability - experimental setting. 172-186 - Mario Carneiro:
Models for Metamath. 187-203 - Andreas Holmstrom:
A first step towards automated conjecture-making in higher arithmetic geometry. 204-218 - Thibault Gauthier, Cezary Kaliszyk, Josef Urban:
Initial Experiments with Statistical Conjecturing over Large Formal Corpora. 219-228 - Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe:
A Standard for Aligning Mathematical Concepts. 229-244 - Denis Rochau, Michael Kohlhase, Dennis Müller:
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. 245-259
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-06-06 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
