Yet another interactive theorem prover: Matita

Andrea Asperti; Claudio Sacerdoti Coen; Enrico Tassi; Stefano Zacchiroli

Yet another interactive theorem prover: Matita

Andrea Asperti
, Claudio Sacerdoti Coen
, Enrico Tassi
, Stefano Zacchiroli

University of Bologna

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Résumé

Matita is a new interactive theorem prover being developed at the University of Bologna, under the direction of Prof. Asperti.

langue originale	Anglais
Pages	117-120
Nombre de pages	4
état	Publié - 1 janv. 2006
Modification externe	Oui
Evénement	13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 - Genova, Italie Durée: 7 juil. 2006 → 9 juil. 2006

Une conférence

Une conférence	13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006
Pays/Territoire	Italie
La ville	Genova
période	7/07/06 → 9/07/06

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@conference{4dc7830cbf994c809dead2dcd2a51b85,

title = "Yet another interactive theorem prover: Matita",

abstract = "Matita is a new interactive theorem prover being developed at the University of Bologna, under the direction of Prof. Asperti.",

keywords = "Authoring, Digital libraries, Mathematical knowledge management, Proof assistant, XML",

author = "Andrea Asperti and Coen, \{Claudio Sacerdoti\} and Enrico Tassi and Stefano Zacchiroli",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "117--120",

note = "13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 ; Conference date: 07-07-2006 Through 09-07-2006",

}

TY - CONF

T1 - Yet another interactive theorem prover

T2 - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006

AU - Asperti, Andrea

AU - Coen, Claudio Sacerdoti

AU - Tassi, Enrico

AU - Zacchiroli, Stefano

PY - 2006/1/1

Y1 - 2006/1/1

N2 - Matita is a new interactive theorem prover being developed at the University of Bologna, under the direction of Prof. Asperti.

AB - Matita is a new interactive theorem prover being developed at the University of Bologna, under the direction of Prof. Asperti.

KW - Authoring

KW - Digital libraries

KW - Mathematical knowledge management

KW - Proof assistant

KW - XML

UR - https://www.scopus.com/pages/publications/84907033040

M3 - Paper

AN - SCOPUS:84907033040

SP - 117

EP - 120

Y2 - 7 July 2006 through 9 July 2006

ER -

Yet another interactive theorem prover: Matita

Résumé

Une conférence

Autres fichiers et liens

Empreinte digitale

Contient cette citation