Login / Signup
MathPartner computer algebra.
Gennadi I. Malaschonok
Published in:
Program. Comput. Softw. (2017)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
artificial intelligence
knowledge representation