Computer algebra in Julia.

Dmitry S. Kulyabov Anna V. Korolkova

Published in: CoRR (2021)

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
machine learning
knowledge base
model checking
bayesian networks
graphical models
semi supervised learning