Login / Signup
Jørgen Vold Rennemo
ORCID
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Formal Verification
Upper Bound
Temporal Logic
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)