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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 56-65, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Aleksy Schubert |
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 3, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Andreas Holmstrom |
A first step towards automated conjecture-making in higher arithmetic geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 204-218, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Chad Brown |
Invited talk: Developments, Libraries and Automated Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 2, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Ion Toloaca, Michael Kohlhase |
Notation-based Semantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 73-81, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Dennis Müller 0001 |
Knowledge Management across Formal Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 98-101, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Andrea Kohlhase, Michael Fürsich |
Understanding Mathematical Expressions: An Eye-Tracking Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 42-50, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Thibault Gauthier, Cezary Kaliszyk, Josef Urban |
Initial Experiments with Statistical Conjecturing over Large Formal Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 219-228, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Moritz Schubotz |
Augmenting Mathematical Formulae for More Effective Querying & Presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 102-103, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Moritz Schubotz, David Veenhuis, Howard S. Cohl |
Getting the units right. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 146-156, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Denis Rochau, Michael Kohlhase, Dennis Müller 0001 |
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 245-259, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Karol Pak |
Topological Foundations for a Formal Theory of Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 14-16, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Hiroyuki Okazaki, Yuichi Futa |
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 117-131, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Tom Wiesing, Felix Schmoll |
KAT: an Annotation Tool for STEM Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 66-72, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Théo Zimmermann |
Design and development of a tool based on Coq to write and format mathematical proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 104-105, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Adam Naumowicz |
Linking to Compound Conditions in Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 21-24, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mario Carneiro |
Formalization of the prime number theorem and Dirichlet's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 10-13, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Marek Janasz |
Automated theorem proving for elementary geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 97, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Karol Pak |
Lemma Extraction Criteria Based on Properties of Theorem Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 158-171, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Walther Neuper |
Lucas-Interpretation from Users' Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 83-89, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Walther Neuper |
Rigor of TP in Educational Engineering Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 90-95, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Artur Kornilowicz |
Registrations vs Redefinitions in Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 17-20, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Paul Libbrecht, Matija Lokar |
The plain text trap when copying mathematical formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 50-55, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 132-145, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Adam Grabowski, Roland Coghetto |
Tarski's Geometry and the Euclidean Plane in Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 4-9, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Karol Pak, Aleksy Schubert |
The impact of proof steps sequence on proof readability - experimental setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 172-186, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber |
swMATH - Challenges, Next Steps, and Outlook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 107-116, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Lucius Schoenbaum |
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 26-41, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Cezary Kaliszyk, Michael Kohlhase, Dennis Müller 0001, Florian Rabe 0001 |
A Standard for Aligning Mathematical Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 229-244, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mario Carneiro |
Models for Metamath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: 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., pp. 187-203, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|