Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Dependencies in formal mathematics: Applications and extraction for Coq and Mizar
2012
alama-dependencies
-
In proceedings
Jesse Alama, Lionel Mamane, Josef Urban
Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel
Intelligent Computer Mathematics (CICM 2012)
Lecture Notes in Computer Science
Springer
-
7362
1-16
-
-
-
-
Export formats
Jesse Alama and Lionel Mamane and Josef Urban, Dependencies in formal mathematics: Applications and extraction for Coq and Mizar, in: Johan Jeuring and John A Campbell and Jacques Carette and Gabriel Reis and Petr Sojka and Makarius Wenzel (eds), Intelligent Computer Mathematics (CICM 2012), Lecture Notes in Computer Science, Springer, Vol. 7362, Pag. 1-16, 2012.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, Lionel Mamane and Josef Urban, <b>Dependencies in formal mathematics: Applications and extraction for Coq and Mizar</b>, in: Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka and Makarius Wenzel (eds), <u>Intelligent Computer Mathematics (CICM 2012)</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 7362, Pag. 1-16, 2012.
@inproceedings {alama-dependencies, author = {Jesse Alama and Lionel Mamane and Josef Urban}, editor = {Johan Jeuring and John A Campbell and Jacques Carette and Gabriel Reis and Petr Sojka and Makarius Wenzel}, title = {Dependencies in formal mathematics: Applications and extraction for Coq and Mizar}, booktitle = {Intelligent Computer Mathematics (CICM 2012)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {7362}, pages = {1-16}, year = {2012}, }
Publication's urls
/publications/view.php?code=2b5821174e6a65b4676c48244defe934
/publications/view.php?code=alama-dependencies
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT