Quantifier elimination supported proofs in the numerical treatment of fluid flows.

Richard Liska Pavel Váchal

Published in: Appl. Algebra Eng. Commun. Comput. (2007)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
first order logic
functional programming
constraint databases
theorem prover
cardinality constraints
theorem proving
inference rules
artificial intelligence
high level
expressive power
temporal constraints
numerical analysis
decision procedures