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
Metadata for a wiki of formalized mathematics
2011
alama-metadata-for-a-wiki-of-formalized-mathematics
In recent years wikis for formal mathematics have appeared. Formal mathematics presents a number of challenges for the wiki perspective. To enhance the quality of the data in these wikis from the perspective of information architecture, we propose some extensions of existing formal mathematics wikis to more properly handle metadata.
In proceedings
Jesse Alama
Christoph Lange, Josef Urban
MathWikis-2011: Proceedings of the ITP 2011 Workshop on Mathematical Wikis
-
CEUR Workshop Proceedings
-
767
2-5
-
-
-
http://CEUR-WS.org/Vol-767/paper-02.pdf
Export formats
Jesse Alama, Metadata for a wiki of formalized mathematics, in: Christoph Lange and Josef Urban (eds), MathWikis-2011: Proceedings of the ITP 2011 Workshop on Mathematical Wikis, CEUR Workshop Proceedings, Vol. 767, Pag. 2-5, (http://CEUR-WS.org/Vol-767/paper-02.pdf), 2011.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, <b>Metadata for a wiki of formalized mathematics</b>, in: Christoph Lange and Josef Urban (eds), <u>MathWikis-2011: Proceedings of the ITP 2011 Workshop on Mathematical Wikis</u>, CEUR Workshop Proceedings, Vol. 767, Pag. 2-5, (<a href="http://CEUR-WS.org/Vol-767/paper-02.pdf" target="_blank">url</a>), 2011.
@inproceedings {alama-metadata-for-a-wiki-of-formalized-mathematics, author = {Jesse Alama}, editor = {Christoph Lange and Josef Urban}, title = {Metadata for a wiki of formalized mathematics}, booktitle = {MathWikis-2011: Proceedings of the ITP 2011 Workshop on Mathematical Wikis}, publisher = {CEUR Workshop Proceedings}, volume = {767}, pages = {2-5}, url = {http://CEUR-WS.org/Vol-767/paper-02.pdf}, abstract = {In recent years wikis for formal mathematics have appeared. Formal mathematics presents a number of challenges for the wiki perspective. To enhance the quality of the data in these wikis from the perspective of information architecture, we propose some extensions of existing formal mathematics wikis to more properly handle metadata.}, year = {2011}, }
Publication's urls
/publications/view.php?code=f558f717ec3021e967f35056f48aecc9
/publications/view.php?code=alama-metadata-for-a-wiki-of-formalized-mathematics
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