An efficient quantifier elimination algorithm for algebraically closed fields of any characteristic.

Joos Heintz H. R. Wüthrich

Published in: SIGSAM Bull. (1975)

Keyphrases

elimination algorithm
probabilistic inference
computer vision
linear systems
decision making
bayesian networks
hadamard transform
markov random field
variable elimination