swMATH10277MaRDI QIDQ22240
No author found.
Source code repository: https://github.com/flyspeck/flyspeck
Described by source
