Titlebook: Quantifier Elimination and Cylindrical Algebraic Decomposition; Bob F. Caviness,Jeremy R. Johnson Conference proceedings 1998 Springer-Ver

令人不快

孤独无助

Texts & Monographs in Symbolic Computationhttp://image.papertrans.cn/q/image/780748.jpg

收集

帽子

978-3-211-82794-9Springer-Verlag/Wien 1998

IRK

积习难改

Bravura

artifice

figment

Local Theories and Cylindrical Decomposition, depend on the coordinate system, and in which the variables can be restricted to an arbitrarily small neighborhood of some point. It seems that it ought to be possible to use cylindrical decomposition techniques to solve such problems, taking advantage of their special features. This article attempts to do this, but many unsolved problems remain.

难管

Introduction,This chapter provides a brief introduction to the primary topic of these proceedings and some indication of the subject’s importance.