Vingerafdruk
Duik in de onderzoeksthema's van 'Formal mathematics on display : a wiki for Flyspeck'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
Formal mathematics on display : a wiki for Flyspeck
C. Tankink, C. Kaliszyk, J. Urban, J.H. Geuvers
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
13
Citaten
(Scopus)