Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture (Slides)

Slides of http://www.jem-thematic.net/en/node/842

Publication_details:

Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel: 3rd Workshop on Semantic Wikis, European Semantic Web Conference 2008

Author(s):

Christoph Lange, Sean McLaughlin, Florian Rabe

Tipo:

Slide presentation

Date:

2008/06/02

URL:

http://kwarc.info/projects/swim/pubs/flyspeck-wiki-eswc08-slides.pdf

Partner_node:

Jacobs University

Añadir nuevo comentario
%count lecturas

European Commission

This web site is part of the JEM Thematic Network. Work is co-funded by the European Commission.
The content of this website is the sole responsibility of the thematic network members. It does not represent the opinion of the European Community and the Community is not responsible for any use that might be made of information contained herein. The last author of the page is solely responsible for its content. Unless otherwise stated, the content of the page is licensed under a Creative Commons Attribution-Share Alike 2.5 License.

Visits/hits in the last hour: 21 Visits | 369 Hits