John Christian Ottem

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 1

Top Topics

Formal Verification

Heuristic Search

Top Venues

J. Lond. Math. Soc.

Publications

John Christian Ottem, Jørgen Vold Rennemo
A counterexample to the birational Torelli problem for Calabi-Yau threefolds. J. Lond. Math. Soc. 97 (3) (2018)
John Christian Ottem, Kristian Ranestad, Bernd Sturmfels, Cynthia Vinzant
Quartic spectrahedra. Math. Program. 151 (2) (2015)