- Isabela Dramnesc
, Erika Ábrahám
, Tudor Jebelean
, Gábor Kusper
, Sorin Stratulat
:
Experiments with Automated Reasoning in the Class. CICM 2022: 287-304 - Ciarán Dunne, J. B. Wells:
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories. CICM 2022: 38-55 - David Fuenmayor
, Fabián Fernando Serrano Suárez
:
Formalising Basic Topology for Computational Logic in Simple Type Theory. CICM 2022: 56-74 - Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho
, Katsumi Wasaki:
An Integrated Web Platform for the Mizar Mathematical Library. CICM 2022: 141-146 - Sébastien Gouëzel
:
A Formalization of the Change of Variables Formula for Integrals in mathlib. CICM 2022: 3-18 - Emma Hamel, Hongbo Zheng, Nickvash Kani:
An Evaluation of NLP Methods to Extract Mathematical Token Descriptors. CICM 2022: 329-343 - Edith Hemaspaandra
, David E. Narváez
:
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification. CICM 2022: 241-255 - Fabian Huch
:
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs. CICM 2022: 147-161 - Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej:
Targeted Configuration of an SMT Solver. CICM 2022: 256-271 - David J. Jeffrey, Stephen M. Watt:
Working with Families of Inverse Functions. CICM 2022: 222-237 - Peter Koepke, Anton Lorenzen, Boris Shminke:
CICM'22 System Entries. CICM 2022: 344-348 - Michael Kohlhase
, Dennis Müller
:
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM 2022: 184-188 - Carlin MacKenzie
, Fabian Huch
, James Vaughan
, Jacques D. Fleuriot
:
Re-imagining the Isabelle Archive of Formal Proofs. CICM 2022: 162-167 - Bhavik Mehta
:
Formalising the Kruskal-Katona Theorem in Lean. CICM 2022: 75-91 - Dennis Müller
, Michael Kohlhase
:
Injecting Formal Mathematics Into LaTeX. CICM 2022: 168-183 - Lawrence C. Paulson
:
Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis. CICM 2022: 92-106 - Ankit Shukla
, Sibylle Möhle
, Manuel Kauers
, Martina Seidl
:
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM 2022: 272-284 - Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón
, Thaynara Arielly de Lima
:
Hall's Theorem for Enumerable Families of Finite Sets. CICM 2022: 107-121 - Eric Wieser
, Jujian Zhang
:
Graded Rings in Lean's Dependent Type Theory. CICM 2022: 122-137 - Wolfgang Windsteiger
:
Learning to Reason Assisted by Automated Reasoning. CICM 2022: 305-320 - Kevin Buzzard
, Temur Kutsia
:
Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings. Lecture Notes in Computer Science 13467, Springer 2022, ISBN 978-3-031-16680-8 [contents] - 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 - Mohamed Abdelghany, Sofiène Tahar:
Formalization of RBD-Based Cause Consequence Analysis in HOL. CICM 2021: 47-64 - Muhammad Ahmed, Adnan Rashid:
Formalization of Transform Methods in Higher-order Logic: A Survey (short paper). CICM Workshops 2021 - Susanne Arndt, Patrick Ion, Mila Runnwerth, Moritz Schubotz, Olaf Teschke
:
10 Years Later: The Mathematics Subject Classification and Linked Open Data. CICM 2021: 153-158 - Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase:
MioGatto: A Math Identifier-oriented Grounding Annotation Tool. 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 - Jonas Betzendahl:
Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract. CICM Workshops 2021 - Jasmin Blanchette, Adam Naumowicz:
FMM Preface. CICM Workshops 2021