Formal Mathematics on Display: A Wiki for Flyspeck : Mathematical knowledge management; MKM 2013
In: LECTURE NOTES IN COMPUTER SCIENCE (7961):152-167; (2013) 7961, S. 152-167
Konferenz
Zugriff:
Titel: |
Formal Mathematics on Display: A Wiki for Flyspeck : Mathematical knowledge management; MKM 2013
|
---|---|
Autor/in / Beteiligte Person: | Tankink, C. ; Kaliszyk, C. ; Urban, J. ; Geuvers, H. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (7961):152-167; (2013) 7961, S. 152-167 |
Veröffentlichung: | 2013 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|