Bookmark Saya

arXiv Open Access 2013

Statistical Proof Pattern Recognition: Automated or Interactive?

Jónathan Heras Ekaterina Komendantskaya
Lihat Sumber

Abstrak

In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.

Topik & Kata Kunci

cs.SE cs.LO

Penulis (2)

J

Jónathan Heras

E

Ekaterina Komendantskaya

Format Sitasi

APA MLA BibTeX
Heras, J., Komendantskaya, E. (2013). Statistical Proof Pattern Recognition: Automated or Interactive?. https://arxiv.org/abs/1303.1419

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2013
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓