Computational existence proofs for spher
β
Xiaojun Chen; Andreas Frommer; Bruno Lang
π
Article
π
2010
π
Springer-Verlag
π
English
β 396 KB