Formal mathematics on display : a wiki for Flyspeck

C. Tankink, C. Kaliszyk, J. Urban, J.H. Geuvers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Formal mathematics on display : a wiki for Flyspeck'. Samen vormen ze een unieke vingerafdruk.

Mathematics

Computer Science