scientific article; zbMATH DE number 2209729

From MaRDI portal
Publication:5692712

zbMath1104.68800arXivmath/0205209MaRDI QIDQ5692712

Thomas C. Hales

Publication date: 28 September 2005

Full work available at URL: https://arxiv.org/abs/math/0205209

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)

The dodecahedral conjecture ⋮ Formal Proofs for Nonlinear Optimization


Uses Software



This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5692712&oldid=30414143"
Powered by MediaWiki