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
Euler's polyhedron formula in Mizar
2010
icms2010
-
In proceedings
Jesse Alama
Fukada, K.
Mathematical Software - ICMS 2010
Lecture Notes in Computer Science
Springer
-
6327
144-147
-
-
-
-
Export formats
Jesse Alama, Euler's polyhedron formula in Mizar, in: Fukada, K. (eds), Mathematical Software - ICMS 2010, Lecture Notes in Computer Science, Springer, Vol. 6327, Pag. 144-147, 2010.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, <b>Euler's polyhedron formula in Mizar</b>, in: Fukada, K. (eds), <u>Mathematical Software - ICMS 2010</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 6327, Pag. 144-147, 2010.
@inproceedings {icms2010, author = {Jesse Alama}, editor = {Fukada, K.}, title = {Euler's polyhedron formula in Mizar}, booktitle = {Mathematical Software - ICMS 2010}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {6327}, pages = {144-147}, year = {2010}, }
Publication's urls
/publications/view.php?code=6ade0db14766987898058eb656209886
/publications/view.php?code=icms2010
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