Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller 0001, Karol Pak, Claudio Sacerdoti Coen, editors, Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. Volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]

Conference: mkm2020

Abstract is missing.

Sethood Property in MizarArtur Kornilowicz. [doi]

Textbook Mathematics in the Naproche-SAD SystemPeter Koepke. [doi]

Numerical MAThMichael Junk, Stefan Hölle. [doi]

Definedness Reasoning in Formal Mathematics and Theorem ProvingJonas Betzendahl. [doi]

A Unifying Framework for Managing Conflict-laden ContentMax Rapp. [doi]

Hybrid and alternative logics in IsabelleJoshua Chen. [doi]

Constructing Examples of Fuzzy Implications within the Mizar Mathematical LibraryAdam Grabowski. [doi]

Creating a Database of Definitions From Large Mathematical CorporaLuis Berlioz. [doi]

Leveraging Information Contained in Theory PresentationsYasmine Sharoda. [doi]

Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of MathematicsAdam Naumowicz. [doi]

MDML: The Mathdoc Digital Mathematics LibraryAlexandre Bouquet, Thierry Bouche. [doi]

Edu: Towards an Educational Mathematical OntologyAlexander Kirillovich, Olga Nevzorova, Marina V. Falileeva, Evgeny K. Lipachev, Liliana R. Shakirova. [doi]

Formal verification of the correctness of chosen algorithms in MizarAdrian Jaszczak. [doi]

Evolving MathHub for Tetrapodal MathTom Wiesing. [doi]

Understanding Scientific Documents with Synthetic Analysis on Mathematical Expressions and Natural LanguageTakuto Asakura. [doi]

Automating Formalization of Mathematics with Machine Learning and Data MiningQingxiang Wang. [doi]

Isabelle technology for the Archive of Formal Proofs with application to MMTMakarius Wenzel. [doi]

The "MATh Tutor" projectSebastian Sahli. [doi]

alsoMATH - A Database for Mathematical Algorithms and SoftwareWolfgang Dalitz, Wolfram Sperber, Moritz Schubotz, Hagen Chrapary. [doi]

New Approaches to ATPsFrieder Simon. [doi]

runs on WebDSL