22nd Workshop on Computer Algebra in Memory of Professor Vladimir Gerdt in Dubna.
Sergei A. AbramovAlla A. BogolubskayaPublished in: ACM Commun. Comput. Algebra (2021)
Keyphrases
- computer algebra
- theorem prover
- computer algebra systems
- memory usage
- automated theorem provers
- selected papers
- computer science
- memory requirements
- computing power
- random access
- limited memory
- low memory
- bring together researchers and practitioners
- neural network
- acm sigkdd
- carnegie mellon university
- invited talk
- computational power