Flyspecking Flyspeck
From MaRDI portal
Publication:2879090
DOI10.1007/978-3-662-44199-2_3zbMath1403.68220OpenAlexW4231805564MaRDI QIDQ2879090
Publication date: 8 September 2014
Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_3
Related Items (2)
A FORMAL PROOF OF THE KEPLER CONJECTURE ⋮ Approximation of Analytic Functions by Universal Vallee-Poussin Sums on the Chebyshev Polynomials
Uses Software
This page was built for publication: Flyspecking Flyspeck
