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