A Review on Mechanical Proving and Formalization of Mathematical Theorems

The field of artificial intelligence represents a frontier and a focal point of contemporary technological development. As an important embodiment of artificial intelligence applied to theoretical-level research, mechanical proving has been a subject of significant interest among researchers. The pa...

Descripció completa

Dades bibliogràfiques

Autors principals:	Si Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang
Format:	Artigo
Idioma:	Inglês
Publicat:	IEEE 2025-01-01
Col·lecció:	IEEE Access
Matèries:	Artificial intelligence Coq formalization mechanical proving Morse-Kelley axiomatic set theory theorem provers
Accés en línia:	https://ieeexplore.ieee.org/document/10930874/
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!