A modular extension for a computer algebra system.

Migran N. Gevorkyan Anna V. Korolkova Dmitry S. Kulyabov Leonid A. Sevastianov

Published in: CoRR (2020)

Keyphrases

computer algebra
theorem prover
computer algebra systems
neural network
automated theorem provers
data sets
databases
information retrieval
high level
training data
multi agent systems
modular structure
modular neural networks