Login / Signup

Abstracts of recent doctoral dissertations in computer algebra.

Jiaxiong HuAnton Panferov
Published in: ACM Commun. Comput. Algebra (2018)
Keyphrases
  • computer algebra
  • theorem prover
  • real world
  • machine learning
  • image segmentation
  • multi agent
  • evolutionary algorithm
  • information extraction
  • automated theorem provers