Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-3 of 3
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
18-Aug-2015A formal proof of the Kepler conjectureHales, T; Adams, M; Bauer, G; Dang, DT; Harrison, J, et al
18-Aug-2015Polynomial template generation using sum-of-squares programmingAdjé, A; Magron, V
27-Mar-2015A Sums-of-Squares Extension of Policy IterationsAdjé, A; Garoche, P-L; Magron, V