Login / Signup
Anna V. Korolkova
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 44
Top Topics
Computer Algebra
Theorem Prover
Software Package
Traffic Management
Top Venues
CoRR
Program. Comput. Softw.
ITTMM
ECMS
</>
Publications
</>