Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda 0001 (eds.) |
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 |
2017 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Aleksy Schubert |
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Andreas Holmstrom |
A first step towards automated conjecture-making in higher arithmetic geometry. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Chad Brown |
Invited talk: Developments, Libraries and Automated Theorem Provers. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Ion Toloaca, Michael Kohlhase |
Notation-based Semantification. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Dennis Müller 0001 |
Knowledge Management across Formal Libraries. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Andrea Kohlhase, Michael Fürsich |
Understanding Mathematical Expressions: An Eye-Tracking Study. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Thibault Gauthier, Cezary Kaliszyk, Josef Urban |
Initial Experiments with Statistical Conjecturing over Large Formal Corpora. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Moritz Schubotz |
Augmenting Mathematical Formulae for More Effective Querying & Presentation. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Moritz Schubotz, David Veenhuis, Howard S. Cohl |
Getting the units right. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Denis Rochau, Michael Kohlhase, Dennis Müller 0001 |
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Karol Pak |
Topological Foundations for a Formal Theory of Manifolds. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Tom Wiesing, Felix Schmoll |
KAT: an Annotation Tool for STEM Documents. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Adam Naumowicz |
Linking to Compound Conditions in Mizar. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Mario Carneiro |
Formalization of the prime number theorem and Dirichlet's theorem. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Marek Janasz |
Automated theorem proving for elementary geometry. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Karol Pak |
Lemma Extraction Criteria Based on Properties of Theorem Statements. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Walther Neuper |
Lucas-Interpretation from Users' Perspective. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Walther Neuper |
Rigor of TP in Educational Engineering Software. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Artur Kornilowicz |
Registrations vs Redefinitions in Mizar. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Paul Libbrecht, Matija Lokar |
The plain text trap when copying mathematical formulae. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Adam Grabowski, Roland Coghetto |
Tarski's Geometry and the Euclidean Plane in Mizar. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Karol Pak, Aleksy Schubert |
The impact of proof steps sequence on proof readability - experimental setting. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber |
swMATH - Challenges, Next Steps, and Outlook. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Lucius Schoenbaum |
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Cezary Kaliszyk, Michael Kohlhase, Dennis Müller 0001, Florian Rabe 0001 |
A Standard for Aligning Mathematical Concepts. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
1 | Mario Carneiro |
Models for Metamath. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|