Rewriting input expressions in complex algebraic geometry provers.

Zoltán Kovács Tomás Recio Csilla Sólyom-Gecse

Published in: Ann. Math. Artif. Intell. (2019)

Keyphrases

algebraic geometry
rewrite rules
neural network
theorem prover
support vector
probability distribution
set theory
polynomial equations