default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM Workshops 2019: Prague, Czech Republic
- Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
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. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020
Formal Mathematics for Mathematicians (FMM) (Short Papers)
- Adam Naumowicz
:
Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics. - Michael Junk, Stefan Hölle:
Numerical MATh. - Artur Kornilowicz:
Sethood Property in Mizar. - Peter Koepke:
Textbook Mathematics in the Naproche-SAD System. - Adrian Jaszczak:
Formal verification of the correctness of chosen algorithms in Mizar. - Adam Grabowski:
Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library.
Workshop on Large Mathematical Libraries
- Makarius Wenzel:
Isabelle technology for the Archive of Formal Proofs with application to MMT. - Wolfgang Dalitz, Wolfram Sperber, Moritz Schubotz, Hagen Chrapary:
alsoMATH - A Database for Mathematical Algorithms and Software.
The CICM 2019 Doctoral Program (Short Papers)
- Sebastian Sahli:
The "MATh Tutor" project. - Frieder Simon:
New Approaches to ATPs. - Takuto Asakura:
Understanding Scientific Documents with Synthetic Analysis on Mathematical Expressions and Natural Language. - Joshua Chen:
Hybrid and alternative logics in Isabelle. - Jonas Betzendahl:
Definedness Reasoning in Formal Mathematics and Theorem Proving. - Max Rapp:
A Unifying Framework for Managing Conflict-laden Content. - Yasmine Sharoda:
Leveraging Information Contained in Theory Presentations. - Tom Wiesing:
Evolving MathHub for Tetrapodal Math. - Qingxiang Wang:
Automating Formalization of Mathematics with Machine Learning and Data Mining.
The Work in Progress Section of CICM 2019
- Alexander Kirillovich, Olga Nevzorova, Marina V. Falileeva, Evgeny K. Lipachev, Liliana R. Shakirova:
OntoMathEdu: Towards an Educational Mathematical Ontology. - Luis Berlioz:
Creating a Database of Definitions From Large Mathematical Corpora. - Alexandre Bouquet, Thierry Bouche:
MDML: The Mathdoc Digital Mathematics Library.
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 2025-03-01 15:17 CET 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:
