Resultants -- resultants, discriminants, and Chow forms
SagbiGbDetection -- this package verifies whether the given generators of an ideal form the Gr"obner basis or whether the given generators of a finitely generated subalgebra of a polynomial ring are the SAGBI basis
Saturation -- quotient, saturation, and annihilator routines for ideals and modules
Schubert2 -- characteristic classes for varieties without equations
SegreClasses -- test containment of varieties and computes algebraic multiplicity of subvarieties and Fulton-MacPherson intersection products, via a very general Segre class computation
ThinSincereQuivers -- Construction of flow polytopes and their associated quivers
ToricInvariants -- Euclidean distance degrees, polar degrees, degree and codimension of the dual, and Chern-Mather classes of toric varieties X_A from the polytope conv(A) or from its Gale dual