First-Order Tests for Toricity.

Hamid Rahkooy Thomas Sturm

Published in: CoRR (2020)

Keyphrases

higher order
stochastic dominance
first order logic
term rewriting
neural network
learning algorithm
computer vision
horn clauses
quantifier elimination