A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations.

Ajith K. John Supratik Chakraborty

Published in: CAV (2011)

Keyphrases

elimination algorithm
linear systems
probabilistic inference
angular velocity
neural network
hadamard transform
computer vision
closed form solutions
higher order
differential equations
quantifier elimination