1. Introduction to Commutative Algebra;Atiyah,1969
2. Sylvester's identity and multistep integer preserving Gaussian elimination;Bareiss;Math. Comput.,1968
3. The complexity of partial derivatives;Baur;Theoret. Comput. Sci.,1983
4. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins,1975
5. Systems of distinct representatives and linear algebra;Edmonds;J. Res. Nat. Bur. Standards,1967