CICM

Keyphrases

Publications

2023

John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. CICM (2023)
Jeffrey O. Shallit
Proving Results About OEIS Sequences with Walnut. CICM (2023)
Jan Frederik Schaefer, Michael Kohlhase
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. CICM (2023)
Eric Wieser
Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies. CICM (2023)
Martina Seidl
Never Trust Your Solver: Certification for SAT and QBF. CICM (2023)
Aabid Seeyal Abdul Kharim, T. V. H. Prathamesh, Shweta Rajiv, Rishi Vyas
Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem. CICM (2023)
Lawrence C. Paulson
Large-Scale Formal Proof for the Working Mathematician - Lessons Learnt from the ALEXANDRIA Project. CICM (2023)
Robert M. Corless, David J. Jeffrey, Azar Shakoori
Teaching Linear Algebra in a Mechanized Mathematical Environment. CICM (2023)
Henry Hammer, Nanako Noda, Christopher A. Stone
ProofLang: The Language of arXiv Proofs. CICM (2023)
Florian Rabe, Franziska Weber
Morphism Equality in Theory Graphs. CICM (2023)
Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. CICM (2023)
Fabian Huch, Yiannos Stathopoulos
Formalization Quality in Isabelle. CICM (2023)
Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar
CoProver: A Recommender System for Proof Construction. CICM (2023)
Florian Rabe, Stephen M. Watt
Extracting Theory Graphs from Aldor Libraries. CICM (2023)
Marco B. Caminati
Isabelle Formalisation of Original Representation Theorems. CICM (2023)
Adam Naumowicz
Extending Numeric Automation for Number Theory Formalizations in Mizar. CICM (2023)
Neeraj Gangwar, Nickvash Kani
Highlighting Named Entities in Input for Auto-formulation of Optimization Problems. CICM (2023)
Jesús Aransay, Laureano Lambán, Julio Rubio
Evasiveness Through Binary Decision Diagrams. CICM (2023)
Simone Heisinger, Martina Seidl
True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. CICM (2023)
Jan Jakubuv, Cezary Kaliszyk
VizAR: Visualization of Automated Reasoning Proofs (System Description). CICM (2023)
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. CICM (2023)
James Harold Davenport
Proving an Execution of an Algorithm Correct? CICM (2023)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
Nominal AC-Matching. CICM (2023)
Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller
Learning Support Systems Based on Mathematical Knowledge Management. CICM (2023)

volume 14101, 2023

Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings CICM 14101 (2023)

2022

volume 13467, 2022

Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings CICM 13467 (2022)