MathPartner Computer Algebra.

Gennadi I. Malaschonok

Published in: CoRR (2022)

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
artificial intelligence
knowledge base
expert systems
probabilistic model
random variables