Quantifier Elimination over Real Closed Fields - Mathematical Basis, Solution...
19,00 €
The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). Quantifier Elimination over Real Closed Fields - Mathematical Basis, Solution Techniques, Practical Integrations.
Jetzt bei Ebay:
