Login / Signup

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

Joos HeintzH. 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