Glucose
发表于 2025-3-28 15:32:02
Semi-Algebraic Sets, 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
珊瑚
发表于 2025-3-28 19:41:42
http://reply.papertrans.cn/16/1533/153283/153283_42.png
松鸡
发表于 2025-3-28 22:53:59
Decomposition of Semi-Algebraic Sets,oduce the cylindrical decomposition which is a key technique for studying the geometry of semi-algebraic sets. In Section 2 we use the cylindrical decomposition to define and study the semi-algebraically connected components of a semi-algebraic set. In Section 3 we define the dimension of a semi-alg
尽管
发表于 2025-3-29 05:07:12
http://reply.papertrans.cn/16/1533/153283/153283_44.png
beta-carotene
发表于 2025-3-29 09:21:04
Quantitative Semi-algebraic Geometry,e key method for this study is the critical point method, i.e. the consideration of the critical points of a well chosen projection. The critical point method also plays a key role for improving the complexity of algorithms in the last chapters of the book.
AMOR
发表于 2025-3-29 12:05:25
http://reply.papertrans.cn/16/1533/153283/153283_46.png
Gene408
发表于 2025-3-29 15:39:14
http://reply.papertrans.cn/16/1533/153283/153283_47.png
最小
发表于 2025-3-29 20:42:25
Real Roots, Descartes’s law of sign and Bernstein polynomials. These roots are characterized by intervals with rational endpoints. The method presented works only for archimedean real closed fields. In the second part of the chapter we study exact methods working in general real closed fields. Section 3 is dev
增长
发表于 2025-3-30 00:41:59
http://reply.papertrans.cn/16/1533/153283/153283_49.png
牵连
发表于 2025-3-30 04:38:32
Quantifier Elimination,ined doubly exponential complexity in the number of variables. On the other hand, we have seen in Chapter 13 an algorithm for the existential theory of the reals (which is to decide the truth or the falsity of a sentence with a single block of existential quantifiers) with complexity singly exponent