Details:

Title
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.
Length	35
File
Language	English
Year	2005
Edition	0
Translation	No
Refereed	No