Titlebook: Algorithms in Real Algebraic Geometry; Saugata Basu,Richard Pollack,Marie-Franco̧ise Roy Textbook 20031st edition Springer-Verlag Berlin H

Morphine

Cylindrical Decomposition Algorithm,The cylindrical decomposition method described in Chapter 5 can be turned into algorithms for solving several important problems.

Aromatic

雪上轻舟飞过

小丑

Algorithms and Computation in Mathematicshttp://image.papertrans.cn/a/image/153283.jpg

In-Situ

https://doi.org/10.1007/978-3-322-98835-5remainder sequences and, for the case where the coefficients have parameters, the tree of possible pseudo-remainder sequences and the set of possible greatest common divisors. Several important applications of logical nature of the projection theorem are given.

提名的名单

猛击

Der entschlüsselte Wachstumscode and bounded semi-algebraic sets in Section 4, we introduce semi-algebraic germs in Section 3. The semi-algebraic germs over a real closed field constitute a real closed field containing infinitesimals, closely related to the field of Puiseux series, and play an important role throughout the whole b

Foment

行乞

混杂人

Fritz Kröger,Michael Träm,James McGrathcrete objects (the homology groups) that are invariant under semi-algebraic homeomorphisms. In the first section, we develop a combinatorial theory for homology that applies only to simplicial complexes. In the second section, we show how to extend this theory to closed semi-algebraic sets using the