Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems

DOI10.1007/BF01844169zbMath0212.06401OpenAlexW4233685614MaRDI QIDQ2544438

Bruno Buchberger

Publication date: 1970

Published in: Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/136098

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20)

Related Items (only showing first 100 items - show all)

Some examples for solving systems of algebraic equations by calculating Gröbner bases ⋮ Testing binomiality of chemical reaction networks using comprehensive Gröbner systems ⋮ On the theory of graded structures ⋮ New constructive methods in classical ideal theory ⋮ Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients ⋮ Letterplace ideals and non-commutative Gröbner bases. ⋮ Constructing universal unfoldings using Gröbner bases ⋮ On the application of Buchberger's algorithm to automated geometry theorem proving ⋮ Using Gröbner bases to reason about geometry problems ⋮ Adaptive integrand decomposition in parallel and orthogonal space ⋮ Computer algebra: Past and future ⋮ Normal Rees algebras ⋮ An algorithm of computing \(b\)-functions ⋮ Bernstein inequalities and applications to analytic geometry and differential equations ⋮ Proving geometry theorems with rewrite rules ⋮ Gotzmann theorems for exterior algebras and combinatorics ⋮ History and basic features of the critical-pair/completion procedure ⋮ Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial ⋮ Finding a minimal set of linear recurring relations capable of generating a given finite two-dimensional array ⋮ Solving systems of algebraic equations by a general elimination method ⋮ The big mother of all dualities. 2: Macaulay bases ⋮ Polar varieties, real equation solving, and data structures: the hypersurface case ⋮ Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety ⋮ A generalization of reduction rings ⋮ Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules ⋮ On recognisable properties of associative algebras ⋮ A multi-level geometric reasoning system for vision ⋮ Gröbner bases and primary decomposition of polynomial ideals ⋮ Representing and solving finite-domain constraint problems using systems of polynomials ⋮ The Gröbner fan of an ideal ⋮ Lifting canonical algorithms from a ring R to the ring R[x] ⋮ Ladder determinantal rings have rational singularities ⋮ A refutational approach to geometry theorem proving ⋮ Ritt's algorithm, Gröbner basis and discretization ⋮ A topological view on algebraic computation models ⋮ On the walk ⋮ Transforming problems from analysis to algebra: a case study in linear boundary problems ⋮ Model checking in the modal \(\mu \)-calculus and generic solutions ⋮ On radical zero-dimensional ideals ⋮ Gröbner bases and invariant theory ⋮ Combinatorial dimension theory of algebraic varieties ⋮ Word problems over traces which are solvable in linear time ⋮ Stability and Buchberger criterion for standard bases in power series rings ⋮ Standard bases and some computations in rings of power series ⋮ Composition-diamond lemma for associative conformal algebras. ⋮ Solving and factoring boundary problems for linear ordinary differential equations in differential algebras ⋮ Gröbner-Shirshov bases for Lie algebras over a commutative algebra ⋮ Universally defined representations of Lie conformal superalgebras ⋮ A spectral theory for tensors ⋮ New approaches to plactic monoid via Gröbner-Shirshov bases. ⋮ Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals ⋮ The membership problem for unmixed polynomial ideals is solvable in single exponential time ⋮ A new method for solving algebraic systems of positive dimension ⋮ Computing combinatorial decompositions of rings ⋮ Finite groups of Lie type as Galois groups over \(\mathbb{F}_p(t)\) ⋮ Linearizability conditions of time-reversible quartic systems having homogeneous nonlinearities ⋮ Application of ordered standard bases to catastrophe theory ⋮ A new notion of reduction: Generating universal Gröbner bases of ideals in \(K[x,y\)] ⋮ Parametrizing compactly supported orthonormal wavelets by discrete moments ⋮ Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules ⋮ Gröbner-Shirshov basis of the Adyan extension of the Novikov group. ⋮ Transforming differential equations of multi-loop Feynman integrals into canonical form ⋮ Parametric FGLM algorithm ⋮ Solutions of systems of algebraic equations and linear maps on residue class rings ⋮ On the homological dimensions of Leavitt path algebras with coefficients in commutative rings ⋮ An improved semidefinite programming hierarchy for testing entanglement ⋮ Gröbner-Shirshov bases of some monoids. ⋮ Gröbner-Shirshov bases for Rota-Baxter algebras. ⋮ Ideal intersections in rings of partial differential operators ⋮ Composition-diamond lemma for tensor product of free algebras. ⋮ Extension of the Berlekamp-Massey algorithm to N dimensions ⋮ An algebraic foundation for factoring linear boundary problems ⋮ On the decoding of binary cyclic codes with the Newton identities ⋮ An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography ⋮ Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen ⋮ Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. ⋮ Standard bases, critical tropisms and flatness ⋮ On the Knuth-Bendix completion for concurrent processes ⋮ Runge-Kutta methods for quadratic ordinary differential equations ⋮ Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields ⋮ On the Noetherianity of some associative finitely presented algebras ⋮ Complete numerical isolation of real roots in zero-dimensional triangular systems ⋮ On infinite Gröbner bases in free algebras ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2 ⋮ Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras. ⋮ Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures ⋮ Anti-commutative Gröbner-Shirshov basis of a free Lie algebra. ⋮ Linearizability conditions of time-reversible cubic systems ⋮ Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey ⋮ A new efficient algorithm for computing Gröbner bases \((F_4)\) ⋮ On constructing bases for ideals in polynomial rings over the integers ⋮ Computer algebra and algebraic geometry -- achievements and perspectives ⋮ Computing ideals of points ⋮ Computing Gröbner bases by FGLM techniques in a non-commutative setting ⋮ Multivariate Hermite interpolation by algebraic polynomials: A survey ⋮ Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras ⋮ On Gröbner bases under specialization ⋮ Identifiability and distinguishability testing via computer algebra ⋮ Multi-valued logic and Gröbner bases with applications to modal logic ⋮ The reduction ring property is hereditary

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems