Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Tec
50,48 €
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:
![Produktbild - Quantum Fields in Curved Space [Cambridge Monographs on Mathematical Physics] [](https://i.ebayimg.com/thumbs/images/g/F~sAAOSwXYtYxJh1/s-l140.jpg)
