Login / Signup
Tommy Hofmann
Publication Activity (10 Years)
Years Active: 2014-2021
Publications (10 Years): 10
Top Topics
Numerically Stable
Computer Algebra
Theorem Prover
Programming Language
Top Venues
CoRR
J. Symb. Comput.
LMS J. Comput. Math.
Discret. Comput. Geom.
</>
Publications
</>