default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM Workshops 2021: Timisoara, Romania
- Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CEUR Workshop Proceedings 3377, CEUR-WS.org 2023
Formal Mathematics for Mathematicians (FMM) (Short Papers)
- Jasmin Blanchette, Adam Naumowicz:
FMM Preface. - Stepan Holub:
Computing the Border Array in Isabelle/HOL (short paper). - Martin Raska, Stepán Starosta:
Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper). - Zibo Yang:
Formalization of Gambler's Ruin Problem (short paper). - Muhammad Harun Ali Khan
:
Formalizing Fibonacci Squares (short paper). - Karol Pak:
Formalization of Prime Representing Polynomial in Mizar (short paper). - Alexander Bentkamp, Jeremy Avigad:
Verified Optimization (work in progress). - Anthony Bordg, Nicolò Cavalleri:
Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper). - Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki:
A Web Platform for Hosting the Mizar Mathematical Library (short paper). - Eric Wieser:
Scalar actions in Lean's mathlib (short paper). - Alex J. Best:
Automatically Generalizing Theorems Using Typeclasses (short paper). - Sebastien Gouezel:
Formalizing the Gromov-Hausdorff space.
2nd Workshop on Formal Verification of Physical Systems (FVPS 2021)
- Osman Hasan:
FVPS Preface. - Muhammad Ahmed, Adnan Rashid:
Formalization of Transform Methods in Higher-order Logic: A Survey (short paper).
13th MathUI Workshop 2021 - Mathematical User Interaction
- Andrea Kohlhase:
MathUI Preface. - Andrea Kohlhase, Michael Kohlhase:
A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking. - Michael Junk, Sebastian Sahli:
Story Based Content Structuring in MATh. - Takeo Noda, Takahiro Nakahara, Masataka Kaneko:
Monitoring the Impact of Teacher's Intervention in Inquiry-Based Mathematics Learning with the use of Dynamic Geometry. - Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase:
MioGatto: A Math Identifier-oriented Grounding Annotation Tool. - Abhishek Chugh:
Sophize Markdown and Collaboration Interface. - Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada:
Dynamic User Interfaces via Incremental Knowledge Management.
NatFoM 2021 - Workshop on Natural Formal Mathematics
- Peter Koepke, Dennis Müller:
Preface. - Peter Koepke, Tim Lichtnau, Jonas Lippert:
Natural Typesetting of Naproche Formalizations in LaTeX (short paper). - William M. Farmer:
Formal Mathematics for the Masses (short paper). - Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer:
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). - Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar:
Semantic parsing of geometry statements using supervised machine learning on synthetic data.
31th OpenMath Workshop
- James H. Davenport, Michael Kohlhase:
OpenMath Preface. - Ken Wenzel:
OpenMath-RDF: RDF Encodings for OpenMath Objects and Content Dictionaries. - Ken Wenzel:
Pattern Matching for Mathematical Expressions with OpenMath (short paper).
CICM 2021 Doctoral Programme
- Fabian Huch:
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper). - Jonas Betzendahl:
Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract. - Stanislaw J. Purgal:
Deep Learning for Automated Theorem Proving - Extended Abstract. - Theresa Kruse:
Develop a Mathematical E-Dictionary and Test it - Extended Abstract.
CICM 2021 Informal Track
- Zoltán Kovács, Róbert Vajda:
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.
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 2024-12-31 21:52 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:
