The process of finding a reduced set of basis vectors for a given Lattice having certain special properties. Lattice reduction is implemented in Mathematica (Wolfram Research, Champaign, IL) using the function LatticeReduce. Lattice reduction algorithms are used in a number of modern number theoretical applications, including in the discovery of a Spigot Algorithm for Pi.
See also Integer Relation, PSLQ Algorithm