We present a method to compute the degrees of the Segre classes of a subscheme of complex projective space. The method is based on generic residuation and intersection theory. It has been implemented using the software system Macaulay2.

A prime ideal p is said to be strongly prime if whenever p contains an intersection of ideals, p contains one of the ideals in the intersection. A commutative ring with this property for every prime ideal is called strongly zero-dimensional. Some equivalent conditions are given and it is proved that a zero-dimensional ring is strongly zero-dimensional if and only if the ring is quasi-semi-local. A ring is called strongly n-regular if in each ideal a, there is an element a such that x=ax for all x ∈ an. Connections between the concepts strongly zero-dimensional and strongly n-regular are considered.