The conference "computer algebra" in Moscow.
Sergei A. AbramovAnna A. RyabenkoLeonid A. SevastianovMin WuYvette ZonnPublished in: ACM Commun. Comput. Algebra (2019)
Keyphrases
- computer algebra
- theorem prover
- international conference
- advances in artificial intelligence
- selected papers
- panel discussion
- knowledge discovery and data mining
- databases
- computer algebra systems
- graphics and image processing
- asia pacific
- annual conference
- machine learning
- database
- computing education
- program committee
- cutting edge
- special session
- researchers and practitioners
- koli calling