[图书][B] Ideals, varieties, and algorithms

D Cox, J Little, D O'shea, M Sweedler - 1997 - Springer
We wrote this book to introduce undergraduates to some interesting ideas in algebraic
geometry and commutative algebra. For a long time, these topics involved a lot of abstract …

Subresultants and the shape lemma

D Cox, C D'Andrea - Mathematics of Computation, 2023 - ams.org
In nice cases, a zero-dimensional complete intersection ideal over a field has a Shape
Lemma. There are also cases where the ideal is generated by the resultant and first …

An algebraic approach to fault detection for surge avoidance in turbo compressor

SM Alavinia, MJ Khosrowjerdi… - … for Gas Turbines …, 2015 - asmedigitalcollection.asme.org
This paper presents an innovative algebraic sensor fault detection approach for surge
avoidance in turbo compressors (TC) in the natural gas compressor stations (GCS). The …

Groebner Bases

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
In Chapter 1, we have seen how the algebra of the polynomial rings k [x 1,…, xn] and the
geometry of affine algebraic varieties are linked. In this chapter, we will study the method of …

Invariant Theory of Finite Groups

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
Invariant theory has had a profound effect on the development of algebraic geometry. For
example, the Hilbert Basis Theorem and Hilbert Nullstellensatz, which play a central role in …

Geometry, algebra, and algorithms

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
This chapter will introduce some of the basic themes of the book. The geometry we are
interested in concerns affine varieties, which are curves and surfaces (and higher …

Robotics and automatic geometric theorem proving

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
In this chapter we will consider two applications of concepts and techniques from algebraic
geometry in areas of computer science. First, continuing a theme introduced in several …

Additional Gröbner Basis Algorithms

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
In § 10 of Chapter 2 we discussed some criteria designed to identify situations where it is
possible to see in advance that an S-polynomial remainder will be zero in Buchberger's …

The Dimension of a Variety

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
The most important invariant of a linear subspace of affine space is its dimension. For affine
varieties, we have seen numerous examples which have a clearly defined dimension, at …

Projective Algebraic Geometry

DA Cox, J Little, D O'Shea, DA Cox, J Little… - Ideals, Varieties, and …, 2015 - Springer
So far all of the varieties we have studied have been subsets of affine space kn. In this
chapter, we will enlarge kn by adding certain “points at∞” to create n-dimensional projective …