Several problems in the theory of combinatorial geometries (or matroids) are solved by means of algorithms which involve the notion of "abstract pivots". The main example is the Edmonds-Fulkerson partition theorem, which is applied to prove a number of generalized exchange properties for bases.
Supported in part by the U.S. Army Research Office (Durham) under Contract No. DAHCO4-73-0032