A Web Interface for Matita

Andrea Asperti; Wilmer Ricciotti

doi:10.1007/978-3-642-31374-5_28

A Web Interface for Matita

Andrea Asperti, Wilmer Ricciotti

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This article describes a prototype implementation of a web interface for the Matita proof assistant [2]. The motivations behind our work are similar to those of several recent, related efforts [7,9,1,8] (see also [6]).

Original language	English
Title of host publication	Intelligent Computer Mathematics
Subtitle of host publication	11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Publisher	Springer
Pages	417-421
Number of pages	5
ISBN (Electronic)	978-3-642-31374-5
ISBN (Print)	978-3-642-31373-8
DOIs	https://doi.org/10.1007/978-3-642-31374-5_28
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	7362
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-31374-5_28

http://link.springer.com/chapter/10.1007%2F978-3-642-31374-5_28

CerCo: Certified Complexity
Stark, I.
EU government bodies
1/02/10 → 31/03/13
Project: Research

Cite this

Asperti, A., & Ricciotti, W. (2012). A Web Interface for Matita. In Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings (pp. 417-421). (Lecture Notes in Computer Science; Vol. 7362). Springer. https://doi.org/10.1007/978-3-642-31374-5_28

Asperti, Andrea ; Ricciotti, Wilmer. / A Web Interface for Matita. Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer, 2012. pp. 417-421 (Lecture Notes in Computer Science).

@inproceedings{082043b7d78c40c888532869e2ba25b2,

title = "A Web Interface for Matita",

abstract = "This article describes a prototype implementation of a web interface for the Matita proof assistant [2]. The motivations behind our work are similar to those of several recent, related efforts [7,9,1,8] (see also [6]).",

author = "Andrea Asperti and Wilmer Ricciotti",

year = "2012",

doi = "10.1007/978-3-642-31374-5_28",

language = "English",

isbn = "978-3-642-31373-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "417--421",

booktitle = "Intelligent Computer Mathematics",

address = "United Kingdom",

}

Asperti, A & Ricciotti, W 2012, A Web Interface for Matita. in Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7362, Springer, pp. 417-421. https://doi.org/10.1007/978-3-642-31374-5_28

A Web Interface for Matita. / Asperti, Andrea; Ricciotti, Wilmer.
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer, 2012. p. 417-421 (Lecture Notes in Computer Science; Vol. 7362).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Web Interface for Matita

AU - Asperti, Andrea

AU - Ricciotti, Wilmer

PY - 2012

Y1 - 2012

N2 - This article describes a prototype implementation of a web interface for the Matita proof assistant [2]. The motivations behind our work are similar to those of several recent, related efforts [7,9,1,8] (see also [6]).

AB - This article describes a prototype implementation of a web interface for the Matita proof assistant [2]. The motivations behind our work are similar to those of several recent, related efforts [7,9,1,8] (see also [6]).

U2 - 10.1007/978-3-642-31374-5_28

DO - 10.1007/978-3-642-31374-5_28

M3 - Conference contribution

SN - 978-3-642-31373-8

T3 - Lecture Notes in Computer Science

SP - 417

EP - 421

BT - Intelligent Computer Mathematics

PB - Springer

ER -

Asperti A, Ricciotti W. A Web Interface for Matita. In Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer. 2012. p. 417-421. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-31374-5_28

A Web Interface for Matita

Abstract

Publication series

Access to Document

Fingerprint

Projects

CerCo: Certified Complexity

Cite this