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...

Deskribapen osoa

Xehetasun bibliografikoak

Egile Nagusiak:	Si Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang
Formatua:	Artigo
Hizkuntza:	Inglês
Argitaratua:	IEEE 2025-01-01
Saila:	IEEE Access
Gaiak:	Artificial intelligence Coq formalization mechanical proving Morse-Kelley axiomatic set theory theorem provers
Sarrera elektronikoa:	https://ieeexplore.ieee.org/document/10930874/
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!