Login / Signup
Migran N. Gevorkyan
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 27
Top Topics
Computer Algebra
Stochastic Process
Theorem Prover
Software Package
Top Venues
CoRR
Program. Comput. Softw.
ECMS
ITTMM (Selected Papers)
</>
Publications
</>