Login / Signup
C. C. A. editors
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Automated Theorem Provers
Computer Algebra
Recent Developments
Top Venues
ACM Commun. Comput. Algebra
</>
Publications
</>
C. C. A. editors
Abstracts of recent doctoral dissertations in computer algebra.
ACM Commun. Comput. Algebra
55 (4) (2021)