![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
CICM 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 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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.