Accepted formal submissionsMaking the Census of Cubic Vertex Transitive Graphs searchable and FAIR
Lemmaless Induction in Trace Logic
Decomposition Rules: Dynamic, Schematic, Novel Axioms
On the Formalization of the Heat Conduction Problem in HOL
Experiments with Automated Reasoning in the Class
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
Formalising Basic Topology for Computational Logic in Simple Type Theory
An Integrated Web Platform for the Mizar Mathematical Library
An evaluation of NLP methods to extract mathematical token descriptors
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs
Targeted Configuration of SMT Solver
Working with Families of Inverse Functions
Web-Naproche
Re-imagining the Isabelle Archive of Formal Proofs
Formalising the Kruskal-Katona theorem in Lean
Injecting Formal Mathematics Into LaTeX
System Description sTeX3 – A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents
Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis
Hall's Theorem for Enumerable Families of Finite Sets
Python client for Isabelle server (System Entry)
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas
Graded rings in Lean's Dependent type theory
Learning to Reason Assisted by Automated Reasoning
Accepted work-in-progress papersA Parallel Corpus for Natural Language Machine Translation to Isabelle
Sophize Mathematics Library
Setting up Set-theoretical Foundations in Naproche
LOL: A library of lemmas for data-driven conjecturing
PISE (Proofscape Integrated Study Environment)
Formalising the Krull Topology in Lean
Case Studies on Realms
OEIS Semantified -- A Tetrapodal Data Set
|
CICM 2022
15th Conference on Intelligent Computer Mathematics
September 19 - 23, 2022
Tbilisi, Georgia (hybrid event)
You must enable JavaScript to use this site