| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jeffrey O. Shallit |
Proving Results About OEIS Sequences with Walnut.  |
CICM  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe 0001, Stephen M. Watt |
Extracting Theory Graphs from Aldor Libraries. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aransay, Laureano Lambán, Julio Rubio 0001 |
Evasiveness Through Binary Decision Diagrams. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller 0001 |
Learning Support Systems Based on Mathematical Knowledge Management. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe 0001, Franziska Weber |
Morphism Equality in Theory Graphs. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Hammer, Nanako Noda, Christopher A. Stone |
ProofLang: The Language of arXiv Proofs. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey, Azar Shakoori |
Teaching Linear Algebra in a Mechanized Mathematical Environment. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Huch, Yiannos Stathopoulos |
Formalization Quality in Isabelle. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeraj Gangwar, Nickvash Kani |
Highlighting Named Entities in Input for Auto-formulation of Optimization Problems. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harold Davenport |
Proving an Execution of an Algorithm Correct? |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott |
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Frederik Schaefer, Michael Kohlhase |
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Manfred Kerber (eds.) |
Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jakubuv, Cezary Kaliszyk |
VizAR: Visualization of Automated Reasoning Proofs (System Description). |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar |
CoProver: A Recommender System for Proof Construction. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Seidl |
Never Trust Your Solver: Certification for SAT and QBF. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Wieser |
Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Naumowicz |
Extending Numeric Automation for Number Theory Formalizations in Mizar. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco B. Caminati |
Isabelle Formalisation of Original Representation Theorems. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Heisinger, Martina Seidl |
True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho |
Nominal AC-Matching. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence C. Paulson |
Large-Scale Formal Proof for the Working Mathematician - Lessons Learnt from the ALEXANDRIA Project. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki |
An Integrated Web Platform for the Mizar Mathematical Library. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhavik Mehta |
Formalising the Kruskal-Katona Theorem in Lean. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Koepke, Anton Lorenzen, Boris Shminke |
CICM'22 System Entries. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl |
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot |
Re-imagining the Isabelle Archive of Formal Proofs. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Katja Bercic, Filip Koprivec |
Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar |
On the Formalization of the Heat Conduction Problem in HOL. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciarán Dunne, J. B. Wells |
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat |
Experiments with Automated Reasoning in the Class. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence C. Paulson |
Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Bundy, Kwabena Nuamah |
Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fuenmayor, Fabián Fernando Serrano Suárez |
Formalising Basic Topology for Computational Logic in Simple Type Theory. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Hemaspaandra, David E. Narváez |
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Huch |
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Müller 0001, Michael Kohlhase |
Injecting Formal Mathematics Into LaTeX. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Buzzard, Temur Kutsia (eds.) |
Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger |
Lemmaless Induction in Trace Logic. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emma Hamel, Hongbo Zheng, Nickvash Kani |
An Evaluation of NLP Methods to Extract Mathematical Token Descriptors. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Gouëzel |
A Formalization of the Change of Variables Formula for Integrals in mathlib. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Wieser, Jujian Zhang |
Graded Rings in Lean's Dependent Type Theory. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Windsteiger |
Learning to Reason Assisted by Automated Reasoning. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Dennis Müller 0001 |
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Jeffrey, Stephen M. Watt |
Working with Families of Inverse Functions. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej |
Targeted Configuration of an SMT Solver. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Khan, Alexei Lisitsa 0001, Alexei Vernitski |
Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruocheng Shan, Abdou Youssef |
Towards Math Terms Disambiguation Using Machine Learning. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker |
Beautiful Formalizations in Isabelle/Naproche. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe 0001 |
A Language with Type-Dependent Equality. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Arndt, Patrick Ion, Mila Runnwerth, Moritz Schubotz, Olaf Teschke |
10 Years Later: The Mathematics Subject Classification and Linked Open Data. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Jebelean |
A Heuristic Prover for Elementary Analysis in Theorema. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chelsea Edmonds, Lawrence C. Paulson |
A Modular First Formalisation of Combinatorial Design Theory. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Rothgang, Artur Kornilowicz, Florian Rabe 0001 |
A New Export of the Mizar Mathematical Library. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Macke, Jirí Sedlár, Miroslav Olsák, Josef Urban, Josef Sivic |
Learning to Solve Geometric Construction Problems from Images. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Edvard K. Holden, Konstantin Korovin |
Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dávid Lupták, Vít Novotný, Michal Stefánik, Petr Sojka |
WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of Code. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban |
Online Machine Learning Techniques for Coq: A Comparison. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Claudio Sacerdoti Coen (eds.) |
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel |
CICM'21 Systems Entries. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Krsto Prorokovic, Michael Wand 0002, Jürgen Schmidhuber |
Improving Stateful Premise Selection with Transformers. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Hozzová, Laura Kovács, Jakob Rath |
Automated Generation of Exam Sheets for Automated Deduction. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujin Song, Xiaoyu Chen |
Searching for Mathematical Formulas Based on Graph Representation Learning. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciarán Dunne, J. B. Wells, Fairouz Kamareddine |
Generating Custom Set Theories with Non-set Structured Objects. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Abdelghany, Sofiène Tahar |
Formalization of RBD-Based Cause Consequence Analysis in HOL. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov |
Inductive Benchmarks for Automated Reasoning. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen |
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Müller 0001, Florian Rabe 0001, Colin Rothgang, Michael Kohlhase |
Representing Structural Language Features in Formal Meta-languages. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kirillovich, Olga Nevzorova, Marina V. Falileeva, Evgeny K. Lipachev, Liliana R. Shakirova |
OntoMathEdu: A Linguistically Grounded Educational Mathematical Ontology. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Floris van Doorn, Gabriel Ebner, Robert Y. Lewis |
Maintaining a Library of Formal Mathematics. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban, Jan Jakubuv |
First Neural Conjecturing Datasets and Experiments. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Piotrowski, Josef Urban |
Guiding Inferences in Connection Tableau by Recurrent Neural Networks. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian De Lon, Peter Koepke, Anton Lorenzen |
Interpreting Mathematical Texts in Naproche-SAD. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Hanna Lachnitt, Stefan Szeider |
Formalizing Graph Trail Properties in Isabelle/HOL. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Marcus, Michael Kohlhase, Florian Rabe 0001 |
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Katja Bercic, Michael Kohlhase, Florian Rabe 0001 |
Towards a Heterogeneous Query Language for Mathematical Knowledge. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lasse Blaauwbroek, Josef Urban, Herman Geuvers |
The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Nagashima |
Simple Dataset for Proof Method Recommendation in Isabelle/HOL. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
Formal Adventures in Convex and Conical Spaces. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Bruce R. Miller (eds.) |
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Florian Rabe 0001 |
A Survey of Languages for Formalizing Mathematics. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Carneiro |
Metamath Zero: Designing a Theorem Prover Prover. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonard Schmitz, Viktor Levandovskyy |
Formally Verifying Proofs for Algebraic Identities of Matrices. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller 0001, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger |
FrameIT: Detangling Knowledge Management from Game Design in Serious Games. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer, Yasmine Sharoda |
Leveraging the Information Contained in Theory Presentations. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Schubotz, Philipp Scharpf, Olaf Teschke, Andreas Kühnemund, Corinna Breitinger, Bela Gipp |
AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier |
Tree Neural Networks in HOL4. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov |
Induction with Generalization in Superposition Reasoning. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciarán Dunne, J. B. Wells, Fairouz Kamareddine |
Adding an Abstraction Barrier to ZF Set Theory. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Szegedy |
A Promising Path Towards Autoformalization and General Artificial Intelligence. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Naumowicz |
Dataset Description: Formalization of Elementary Number Theory in Mizar. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdou Youssef, Bruce R. Miller |
A Contextual and Labeled Math-Dataset Derived from NIST's DLMF. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdou Youssef, Bruce R. Miller |
Explorations into the Use of Word Embedding in Math Search and Math Semantics. |
CICM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Moa Johansson |
Lemma Discovery for Induction - A Survey. |
CICM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Edwin C. Brady, Andrea Kohlhase, Claudio Sacerdoti Coen (eds.) |
Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings |
CICM |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license