Schubert calculus is a formal calculus in enumerative geometry, which geometrically reduces to the combinatorics and intersection theory of so-called Schubert cells in Grassmanians.
Rigorous foundations of Schubert calculus is the content of 15-th Hilbert’s problem.