Login / Signup
John Abbott
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 17
Top Topics
Parametric Curves
Imperative Programs
Automated Deduction
Top Venues
CoRR
ACM Commun. Comput. Algebra
ICMS
J. Symb. Comput.
</>
Publications
</>