CICM Workshops

Keyphrases

Publications

volume 3377, 2023

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. CICM Workshops 3377 (2023)

2021

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

volume 2634, 2020

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. CICM Workshops 2634 (2020)

2019

volume 2307, 2019

Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CICM Workshops 2307 (2019)