论文信息 - AN INTRODUCTION TO SEMIALGEBRAIC GEOMETRY - 字舞流文

AN INTRODUCTION TO SEMIALGEBRAIC GEOMETRY

[1] B. F. Caviness,et al. Quantifier Elimination and Cylindrical Algebraic Decomposition , 2004, Texts and Monographs in Symbolic Computation.

[2] L. van den Dries,et al. Tame Topology and O-minimal Structures , 1998 .

[3] M. Coste. AN INTRODUCTION TO O-MINIMAL GEOMETRY , 2002 .

[4] Arjeh M. Cohen,et al. Some tapas of computer algebra , 1999, Algorithms and computation in mathematics.

[5] Fabrice Rouillier,et al. Symbolic Recipes for Real Solutions , 1999 .

[6] Marie-Françoise Roy,et al. Real algebraic geometry , 1992 .

[7] J. Risler,et al. Real algebraic and semi-algebraic sets , 1990 .

[8] R. Loos. Generalized Polynomial Remainder Sequences , 1983 .

[9] Bruno Buchberger,et al. Computer algebra symbolic and algebraic computation , 1982, SIGS.