1. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal (German);Buchberger,1965
2. An algorithmic criterion for the solvability of an algebraic system of equations (German);Buchberger;Aequ. Math.,1970
3. Gröbner bases-an algorithmic method in polynomial ideal theory;Buchberger,1985
4. Proving elementary geometry theorems using Wu's algorithm;Chou;Contemp. Math.,1984
5. Proving and Discovering Theorems in Elementary Geometries Using Wu's Method;Chou,1985