2 results
A FORMAL PROOF OF THE KEPLER CONJECTURE
- Part of
-
- Journal:
- Forum of Mathematics, Pi / Volume 5 / 2017
- Published online by Cambridge University Press:
- 29 May 2017, e2
-
- Article
-
- You have access
- Open access
- Export citation
Convex quadratic underestimation and Branch and Bound for univariate global optimization with one nonconvex constraint
-
- Journal:
- RAIRO - Operations Research / Volume 40 / Issue 3 / July 2006
- Published online by Cambridge University Press:
- 08 November 2006, pp. 285-302
- Print publication:
- July 2006
-
- Article
- Export citation