Abstract
We define a certain type of bases of polynomial ideals whose usefulness stems from the fact that a number of computability problems in the theory of polynomial ideals (e.g. the problem of constructing canonical forms for polynomials) is reducible to the construction of bases of this type. We prove a characterization theorem for these bases which immediately leads to an effective method for their construction.
- B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nuildimensionalen Polynomideal, Dissertation, Universität Innsbruck, 1965.Google Scholar
- B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes mathematicae, Vol. 4/3, S. 374--383, 1970.Google Scholar
- B. Buchberger, On Certain Bases of Polynomial ideals, Bericht Nr. 53, Institut für Mathematik, Universität Linz.Google Scholar
- W. Gröbner, Personal communication, Seminar d. institutes für Mathematik, Universität Innsbruck, 1964.Google Scholar
- M. Lauer, Canonical Representatives for Residue Classes of a Polynomial ideal, to appear in the Proceedings of the SIGSAM Conference 1976, ACM. Google ScholarDigital Library
- R. Loos, Toward a Formal implementation of Computer Algebra, SIGSAM Bulletin, 8, p. 9--16, 1974. Google ScholarDigital Library
- Z. Manna, Mathematical Theory of Computation, Mc Graw Hill, 1974. Google ScholarDigital Library
- R. Schrader, Diplomarbeit, Math. Institut, Universität Karlsruhe, 1976.Google Scholar
Recommendations
Nonnegative Quadratic Forms and Bounds on Orthogonal Polynomials
We show that some nonnegative quadratic forms containing orthogonal polynomials, such as e.g. the Christoffel-Darboux kernel for x=y in the classical case, provide a lot of information about behavior of the polynomials on the real axis. We illustrate ...
Reduction of Permutation-Invariant Polynomials
Let R be a commutative ring with 1, let R X1, ,Xn /I be the polynomial algebra in the n 4 noncommuting variables X1, ,Xn over R modulo the set of commutator relations I={(X1+ +Xn) Xi=Xi (X1+ +Xn)|1 i n}. Furthermore, let G be an arbitrary group of ...
Effective Noether Irreducibility Forms and Applications
Selected papers of the 23rd annual ACM symposium on Theory of computingUsing recent absolute irreducibility testing algorithms, we derive new irreducibility forms. These are integer polynomials in variables which are the generic coefficients of a multivariate polynomial of a given degree. A (multivariate) polynomial over a ...
Comments