%0 Conference Paper %1 conf/mkm/TankinkKUG13 %A Tankink, Carst %A Kaliszyk, Cezary %A Urban, Josef %A Geuvers, Herman %B MKM/Calculemus/DML %D 2013 %E Carette, Jacques %E Aspinall, David %E Lange, Christoph %E Sojka, Petr %E Windsteiger, Wolfgang %I Springer %K dblp %P 152-167 %T Formal Mathematics on Display: A Wiki for Flyspeck. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#TankinkKUG13 %V 7961 %@ 978-3-642-39319-8

@inproceedings{conf/mkm/TankinkKUG13, added-at = {2022-03-16T00:00:00.000+0100}, author = {Tankink, Carst and Kaliszyk, Cezary and Urban, Josef and Geuvers, Herman}, biburl = {https://www.bibsonomy.org/bibtex/2fae08573db91140a6a568001f64e23c8/dblp}, booktitle = {MKM/Calculemus/DML}, crossref = {conf/mkm/2013}, editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang}, ee = {https://www.wikidata.org/entity/Q108482175}, interhash = {16fccda6d8db873218fcfd8562bec577}, intrahash = {fae08573db91140a6a568001f64e23c8}, isbn = {978-3-642-39319-8}, keywords = {dblp}, pages = {152-167}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:43:57.000+0200}, title = {Formal Mathematics on Display: A Wiki for Flyspeck.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#TankinkKUG13}, volume = 7961, year = 2013 }