Login / Signup
Abstracts of recent doctoral dissertations in computer algebra.
Lingchuan Meng
Published in:
ACM Commun. Comput. Algebra (2016)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
case study
automated theorem provers
information retrieval
information systems
decision making
information extraction
case based reasoning