Login / Signup
The fourth conference "computer algebra" in Moscow.
Sergei A. Abramov
Anna A. Ryabenko
Leonid A. Sevastianov
Yvette Zonn
Min Wu
Published in:
ACM Commun. Comput. Algebra (2021)
Keyphrases
</>
computer algebra
theorem prover
selected papers
annual conference
advances in artificial intelligence
program committee
asia pacific
workshop proceedings
graphics and image processing
international conference
invited talk
czech republic
search engine
computer vision