The Fifth Conference "Computer Algebra" in Moscow.
Sergei A. AbramovAlexander B. BatkhinAnna A. RyabenkoLeonid A. SevastianovYvette ZonnMin WuPublished in: ACM Commun. Comput. Algebra (2023)
Keyphrases
- computer algebra
- theorem prover
- advances in artificial intelligence
- asia pacific
- selected papers
- international conference
- invited talk
- special session
- annual conference
- invited paper
- learning analytics and knowledge
- automated theorem provers
- panel discussion
- real time
- case study
- graphics and image processing
- computer algebra systems
- program chairs
- program committee
- keynote address
- koli calling
- data mining
- databases