Sign in
David Boozer
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Computer Technology
Lower And Upper Bounds
Worst Case
Formal Evaluation
Top Venues
Exp. Math.
</>
Publications
</>
David Boozer
Computer Bounds for Kronheimer-Mrowka Foam Evaluation.
Exp. Math.
32 (4) (2023)