Sign in

Abstracts of recent doctoral dissertations in computer algebra.

C. C. A. editors
Published in: ACM Commun. Comput. Algebra (2021)
Keyphrases
  • computer algebra
  • information extraction
  • theorem prover
  • database
  • artificial intelligence
  • artificial neural networks
  • random variables
  • recent developments
  • automated theorem provers