logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
I

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF
论文数25
被引数
期刊论文 25
发表时间
delete
Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean在Lean中形式化低维可解李代数的分类定理
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deletedel Barco, Viviana; Infant, Gustavo; Rivas, Exequiel; Schwahn, Paul
delete分享
delete收藏
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrown, Chad E.; Kaliszyk, Cezary; Urban, Josef
delete分享
delete收藏
Certified Algorithms for Numerical Semigroups in RocqRocq中数值半群的认证算法
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco
delete分享
delete收藏
A PVS Library on the Infinitude of Primes关于素数无限性的PVS库
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deletede Oliveira Ribeiro, Bruno Berto; Moscato, Mariano M.; de Lima, Thaynara Arielly; Ayala-Rincon, Mauricio
delete分享
delete收藏
A Lean-based Language for Teaching Proof in High School基于精简方法的高中数学证明教学语言
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMinh, Frederic Tran; Gonnord, Laure; Narboux, Julien
delete分享
delete收藏
Lightweight Realms轻量级领域
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKohlhase, Michael; Rabe, Florian; Schuetz, Marcel
delete分享
delete收藏
Growing Mathlib: maintenance of a large scale mathematical library大规模数学库的维护与扩展
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaanen, Anne; Ballar, Matthew Robert; Commelin, Johan; Chen, Bryan Gin-ge; Rothgang, Michael; Testa, Damiano
delete分享
delete收藏
Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations通过基于GF的AST转换在柔性形式化数学中收获模块化的益处
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKelber, Josefin; Kohlhase, Michael; Schaefer, Jan Frederik; Schuetz, Marcel
delete分享
delete收藏
Boosting Math Problem Solving in Small LLMs via Ensembles通过集成方法提升小型语言模型（LLM）的数学问题解决能力
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShan, Ruocheng; Youssef, Abdou
delete分享
delete收藏
Extending Flexible Boolean Semantics for the Language of Mathematics扩展数学语言的柔性布尔语义
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deletePathak, Shashank
delete分享
delete收藏
Exploring proof autoformalization with Mistral on Herald探索使用Mistral在Herald上进行证明自动形式化
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHorowitz, Lucy; Karatarakis, Michail; Ren, Xuandi; Ocegueda, Alejandro Sanchez
delete分享
delete收藏
Formalizing MLTL Formula Progression in Isabelle/HOL在Isabelle/HOL中形式化MLTL公式的进展
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKosaian, Katherine; Wang, Zili; Sloan, Elizabeth; Rozier, Kristin Yvonne
delete分享
delete收藏
Formalizing the Solow Model in Naproche在Naproche中形式化索洛模型
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKoepke, Peter; Schaefer, Patrick
delete分享
delete收藏
Synthesis Benchmarks for Automated Reasoning自动推理的合成基准
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteHajdu, Marton; Hozzova, Petra; Kovacs, Laura; Voronkov, Andrei; Wagner, Eva Maria; Zilincik, Richard Steven
delete分享
delete收藏
Graded Quantitative Narrowing梯度定量缩窄
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAyala-Rincon, Mauricio; de Lima, Thaynara Arielly; Ehling, Georg; Kutsia, Temur
delete分享
delete收藏
Global, Regional, and Local Contexts全球、区域和局部上下文
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRabe, Florian
delete分享
delete收藏
Supporting Maintenance of Formal Mathematics with Similarity Search支持形式化数学的维护与相似性搜索
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHuch, Fabian
delete分享
delete收藏
Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents在灵活形式化语境下的语义作者创作——严格文档的批量标注
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKohlhase, Michael; Schaefer, Jan Frederik
delete分享
delete收藏
Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL在Isabelle/HOL中形式化带有序偏好的分配问题中的公平性
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDo, Duc Minh; Rizkallah, Christine
delete分享
delete收藏
Vector Graphics through Category Theory通过范畴论实现矢量图形
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBarreira, Davi Sales; Carvalho, Henrique Borges; Rademaker, Alexandre; Sa, Asla Medeiros e; Coelho, Flavio Codeco
delete分享
delete收藏