Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
From MaRDI portal
Publication:2544438
DOI10.1007/BF01844169zbMath0212.06401OpenAlexW4233685614MaRDI QIDQ2544438
Publication date: 1970
Published in: Aequationes Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/136098
Related Items
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, Gelfand-Kirillov dimension of bicommutative algebras, Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases, A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs), Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases, Two-sided noncommutative Gröbner basis on quiver algebras, Metabelian Lie and perm algebras, Computing Circuit Polynomials in the Algebraic Rigidity Matroid, Further perspectives on elimination, Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups, The analytic standard fan of a \(\mathcal D\)-module, Algorithm for computing Bernstein-Sato ideals associated with a polynomial mapping., The Investigation of Nonlinear Polynomial Control Systems, Degrevlex Gröbner bases of generic complete intersections., Gröbner-Shirshov bases for some Lie algebras, FINITE SETS OF AFFINE POINTS WITH UNIQUE ASSOCIATED MONOMIAL ORDER QUOTIENT BASES, Automaticity of one-relator semigroups with length less than or equal to three, Automatic classification of normal forms, A Gröbner-Shirshov basis over a special type of braid monoids, Loewy decomposition of linear differential equations, The syzygies of m-full ideals, Applications of Gröbner bases to signal and image processing: a survey, Buchberger-Weispfenning theory for effective associative rings, Construction of genuinely entangled subspaces and the associated bounds on entanglement measures for mixed states, Generalized Gröbner bases: Theory and applications. A condensation, The cyclicity of a cubic system with nonradical Bautin ideal, Computing final polynomials and final syzygies using Buchberger's Gröbner bases method, A combined method for enclosing all solutions of nonlinear systems of polynomial equations, Strongly Noetherian rings and constructive ideal theory, \(1: - 3\) resonant centers on \(\mathbb{C}^2\) with homogeneous cubic nonlinearities, Gröbner–Shirshov bases for commutative algebras with multiple operators and free commutative Rota–Baxter algebras, On set-theoretic complete intersections in the projective space, Unnamed Item, Gröbner–Shirshov bases theory for Leibniz superalgebras, Gröbner bases techniques for an \(S\)-packing \(k\)-coloring of a graph, On generating sets and gröbner bases for polynomial ideals, Free Rota-Baxter systems and a Hopf algebra structure, On characteristically nilpotent filiform lie algebras of dimension 9, Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras, The classical Artin approximation theorems, On the factorization of non-commutative polynomials (in free associative algebras), An approach to constructing genuinely entangled subspaces of maximal dimension, Gröbner–Shirshov bases method for Gelfand–Dorfman–Novikov algebras, An FGLM-like algorithm for computing the radical of a zero-dimensional ideal, Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases, Gröbner–Shirshov Bases for Schreier Extensions of Groups, Gröbner-Shirshov bases for extended modular, extended Hecke, and Picard groups., Shattering-extremal set systems of small VC-dimension, Gröbner-Shirshov bases for semirings., Some new results on Gröbner–Shirshov bases for Lie algebras and around, Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras, Effective computation of the Gelfand-Kirillov dimension, A survey on signature-based algorithms for computing Gröbner bases, Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras, Gröbner bases, H–bases and interpolation, The graph based on Gröbner-Shirshov bases of groups, Gröbner–Shirshov basis method for multiple tensor products of some associative algebras, Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory, MARKOV AND ARTIN NORMAL FORM THEOREM FOR BRAID GROUPS, Gröbner-Shirshov bases for Vinberg-Koszul-Gerstenhaber right-symmetric algebras, Normal Form Analysis of ℤ2-Equivariant Singularities, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Noncommutative Gröbner Bases: Applications and Generalizations, On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals, Gröbner bases and logarithmic \(\mathcal D\)-modules., Gröbner-Shirshov bases for some braid groups., Comments on the translation of my PhD thesis: ``An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal, Gröbner-Shirshov basis for the singular part of the Brauer semigroup, Gröbner–Shirshov bases for symmetric brace algebras, Word problem for special braid groups, Gröbner bases with coefficients in rings, COMPOSITION-DIAMOND LEMMA FOR λ-DIFFERENTIAL ASSOCIATIVE ALGEBRAS WITH MULTIPLE OPERATORS, Some Combinatorial Applications of Gröbner Bases, A general framework for Noetherian well ordered polynomial reductions, GRÖBNER–SHIRSHOV BASES FOR DIALGEBRAS, Gröbner–Shirshov basis and reduced words for affine Weyl group Ãn, Gröbner–Shirshov bases and their calculation, A new Composition-Diamond lemma for associative conformal algebras, Gröbner-Shirshov Bases for Braid Groups in Adyan-Thurston Generators, Gröbner basis and the problem of contiguous relations, The membrane inclusions curvature equations, Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms, GRÖBNER-SHIRSHOV BASES FOR COXETER GROUPS, Buchberger-Zacharias theory of multivariate Ore extensions, On the number of distinct multinomial coefficients, Markov and Artin Normal Form Theorem for Braid Groups∗, GRÖBNER–SHIRSHOV BASIS FOR THE CHINESE MONOID, Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group, Gröbner–Shirshov bases for brace algebras, Zacharias representation of effective associative rings, Cryptanalysis of the extension field cancellation cryptosystem, Lagrange interpolation on subgrids of tensor product grids, GRÖBNER–SHIRSHOV BASES AND EMBEDDINGS OF ALGEBRAS, Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases, Reduction Mod p of Standard Bases, On Invariant Relations between Zeros of Polynomials, Unnamed Item, A modular method to compute the rational univariate representation of zero-dimensional ideals, Gröbner–Shirshov Bases for Extensions of Algebras, GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS, Computing Gröbner Bases within Linear Algebra, Gröbner–Shirshov bases for commutative dialgebras, Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence, Gröbner bases and gradings for partial difference ideals, Gröbner-Shirshov Bases of Some Semigroup Constructions, A primer on ideal theoretical operation in non-commutative polynomial rings, Some remarks on the Akivis algebras and the Pre-Lie algebras, Algebraic methods for computing inverse kinematics, On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra, Finding recursions for multidimensional arrays, A New Composition-Diamond Lemma for Dialgebras, Embedding into 2-generated simple associative (Lie) algebras, Gröbner-Shirshov Bases for Some One-relator Groups
Cites Work
