The conference "computer algebra" in Moscow.
Sergei A. AbramovLeonid A. SevastianovPublished in: ACM Commun. Comput. Algebra (2016)
Keyphrases
- computer algebra
- theorem prover
- selected papers
- international conference
- advances in artificial intelligence
- annual conference
- invited talk
- graphics and image processing
- san diego
- poster session
- automated theorem provers
- koli calling
- keynote address
- invited paper
- cutting edge
- program committee
- artificial intelligence
- knowledge discovery and data mining
- panel discussion
- international workshop
- centre for advanced studies
- computational intelligence
- asia pacific
- knowledge discovery
- website
- information systems