|Title||Gröbner Bases and Algebraic Geometry|
|Author(s)|| Gert-Martin Greuel, Gerhard Pfister|
|Type||Technical Report, Misc|
|Abstract||This paper that he proved the "division theorem by an ideal". In our language, he introduced the notion of standard bases and proved the existence of normal forms for complex analytic convergent power series. An equivalent theorem had already been proved before in 1964 by Hironaka in his famous resolution paper ([Hi]). It is interesting to notice that|
the analog of Groebner bases in power series rings was invented for proving deep theoretical results. The proofs were, however, not constructive and did not contain Buchberger's criterion.