-calculus.

Ugo Dal Lago Gabriele Vanoni

Published in: Theor. Comput. Sci. (2020)

Keyphrases

computer algebra
website
knowledge representation
automated theorem proving
algebraic structure
database
neural network
computer vision
three dimensional
database systems
learning environment
evolutionary algorithm
theorem prover
automated deduction
provably correct