default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th CICM 2025: Brasilia, Brazil
- Valeria de Paiva
, Peter Koepke:
Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. Lecture Notes in Computer Science 16136, Springer 2026, ISBN 978-3-032-07020-3
Automated Reasoning
- Chad E. Brown, Cezary Kaliszyk, Martin Suda, Josef Urban:
Hammering Higher Order Set Theory. 3-20 - Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Zilincík:
Synthesis Benchmarks for Automated Reasoning. 21-28 - Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn Heule:
Automated Symmetric Constructions in Discrete Geometry. 29-47
Formal Libraries
- Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa:
Growing Mathlib: maintenance of a large scale mathematical library. 51-70 - Chad E. Brown, Cezary Kaliszyk, Josef Urban:
Exploring Formal Math on the Blockchain: An Explorer for Proofgold. 71-90 - Fabian Huch:
Supporting Maintenance of Formal Mathematics with Similarity Search. 91-109
Logical and Linguistic Foundations
- Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia:
Graded Quantitative Narrowing. 113-132 - Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß:
Equational Generalization Problems with Atom-Variables. 133-151 - Shashank Pathak:
Extending Flexible Boolean Semantics for the Language of Mathematics. 152-170 - Luka Vrecar, Joe B. Wells, Fairouz Kamareddine:
A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics. 171-188
Mathematical Knowledge Management
- Josefin Kelber, Michael Kohlhase, Jan Frederik Schaefer, Marcel Schütz:
Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations. 191-207 - Michael Kohlhase, Jan Frederik Schaefer:
Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents. 208-221 - Michael Kohlhase, Florian Rabe, Marcel Schütz:
Lightweight Realms. 222-239 - Florian Rabe:
Global, Regional, and Local Contexts. 240-257 - Claudio Sacerdoti Coen, Abdelghani Alidra:
Indexing and Retrieval in a Heterogeneous Formal Library. 258-275
Neural Language Models
- Lucy Horowitz, Michail Karatarakis, Xuandi Ren, Alejandro Sanchez Ocegueda:
Exploring proof autoformalization with Mistral on Herald. 279-299 - Ruocheng Shan, Abdou Youssef:
Boosting Math Problem Solving in Small LLMs via Ensembles. 300-314
Proof Assistants and Formalizations
- Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn:
Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean. 317-339 - Massimo Bartoletti, Stefano Bonzio, Marco Ferrara:
Certified Algorithms for Numerical Semigroups in Rocq. 340-356 - Peter Koepke, Patrick Schäfer:
Formalizing the Solow Model in $\mathbb {N}$aproche. 357-370 - Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier:
Formalizing MLTL Formula Progression in Isabelle/HOL. 371-391 - Duc Minh Do, Christine Rizkallah:
Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL. 392-411 - Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón:
A PVS Library on the Infinitude of Primes. 412-430 - Davi Sales Barreira, Henrique Borges Carvalho, Alexandre Rademaker, Asla Medeiros e Sá, Flávio Codeço Coelho:
Vector Graphics through Category Theory. 431-446 - Frédéric Tran Minh, Laure Gonnord, Julien Narboux:
A Lean-based Language for Teaching Proof in High School. 447-467
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-22 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
