Most modern treatments of the Schubert calculus typically write about the cohomology ring of the Grassmannian. They also write, almost as an afterthought, that this is derived from Schubert's "symbolic calculus." For example:
"Generally, Schubert calculus refers to Schubert’s methods, involving symbolic manipulations, for the solution of enumerative problems." , "The Schubert Calculus is a formal calculus of symbols representing geometric conditions used to solve problems in enumerative geometry." , etc.
But what, exactly, was Schubert's symbolic calculus? It was published in his "Kalkül Der Abzählenden Geometrie." Has this ever been translated to English?
Does anyone have a reference that explains Schubert's symbolic formalism in basic terms?