scientific article

Publication date: 23 August 2012

Full work available at URL: http://www.risc.jku.at/people/buchberg/papers/1965-00-00-A.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items

A categorical formulation for critical-pair/completion procedures, Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients, A Structural Attack on Block-Anti-Circulant UOV at SAC 2019, Semi-Regular Sequences and Other Random Systems of Equations, Generalized Gröbner bases: Theory and applications. A condensation, Simulating Buchberger's algorithm by Knuth-Bendix completion, AC-complete unification and its application to theorem proving, On polynomial ideals, their complexity, and applications, The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups, The challenge of computer mathematics, Unnamed Item, Gröbner bases of associative algebras and the Hochschild cohomology, Buchberger's algorithm: The term rewriter's point of view, Buchberger's algorithm: A constraint-based completion procedure, Ascending chains of ideals in the polynomial ring, Gelfand-Kirillov dimension of bicommutative algebras, A New Variant of Unbalanced Oil and Vinegar Using Quotient Ring: QR-UOV, Investigation of difference schemes for two-dimensional Navier-Stokes equations by using computer algebra algorithms, Signature Gröbner bases in free algebras over rings, Refined F5 Algorithms for Ideals of Minors of Square Matrices, Seshadri stratifications and standard monomial theory, Iterative roots of two-dimensional mappings, A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs), GRÖBNER-SHIRSHOV BASIS FOR MONOMIALS SEMIRING OVER D-A RINGS, Shuffle polygraphic resolutions for operads, Development of hybrid approach for solving MQ problem: Intermediate hybrid approach, Axioms for a theory of signature bases, A Fast Algorithm for Computing Macaulay Null Spaces of Bivariate Polynomial Systems, Efficient NIZKs for algebraic sets, Methodologies of Symbolic Computation, Further perspectives on elimination, \texttt{Horst} meets \textit{Fluid}-SPN: Griffin for zero-knowledge applications, On generalized monomial codes defined over sets with a special vanishing ideal, The Number of Gröbner Bases in Finite Fields (Research), Unnamed Item, Unnamed Item, Gröbner–Shirshov basis method for multiple tensor products of some associative algebras, Normal Form Analysis of ℤ2-Equivariant Singularities, Gröbner-Shirshov basis for the singular part of the Brauer semigroup, Word problem for special braid groups, Constructions of Free Commutative Integro-Differential Algebras, Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey, Foreword, On the construction of staggered linear bases, On Leavitt inverse semigroups, Gröbner–Shirshov bases and their calculation, On the existence of order functions, Constructing Gröbner bases for Noetherian rings, Real World Verification, Filtered-graded transfer of groebner basis computation in solvable polynomial algebras, Markov and Artin Normal Form Theorem for Braid Groups∗, Unnamed Item, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry, Decomposition of polynomial sets into characteristic pairs, On pot, pans and pudding or how to discover generalised critical Pairs, Reduction Mod p of Standard Bases, New light on certain two level designs using Gröbner bases, Gröbner–Shirshov bases for commutative dialgebras, Gröbner–Shirshov bases for congruence classes of complex reflection groups, Creative Telescoping for Holonomic Functions, Noncommutative Gröbner Bases over Rings, A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple, Effective Set Membership in Computer Algebra and Beyond, On the Chordality of Simple Decomposition in Top-Down Style, Unnamed Item, A solution of the word problem for braid groups via the complex reflection group G12, Holonomic Anti-Differentiation and Feynman Amplitudes, Parametrized Gröbner–Shirshov bases, Embedding into 2-generated simple associative (Lie) algebras, Confluence of algebraic rewriting systems, Linear algebraic approach to Gröbner-Shirshov basis theory, Algebraic Theory of Linear Systems: A Survey, Buchberger-Weispfenning theory for effective associative rings, A new framework for computing Gröbner bases, Verification of Hybrid Systems, Identifiability of discrete-time nonlinear systems: The local state isomorphism approach, Finite presentability of generalized Bruck–Reilly ∗-extension of groups, Efficient Groebner walk conversion for implicitization of geometric objects, Strongly Noetherian rings and constructive ideal theory, Efficiently computing minimal sets of critical pairs, Complexity of Membership Problems of Different Types of Polynomial Ideals, On ideal lattices, Gröbner bases and generalized hash functions, Sufficient set of integrability conditions of an orthonomic system, Averaging algebras, rewriting systems and Gröbner–Shirshov bases, Projective nested Cartesian codes, Reduction operators and completion of rewriting systems, Gröbner bases techniques for an $S$-packing $k$-coloring of a graph, Computational aspects of the coordinate ring of an algebraic variety, Maurice Janet's algorithms on systems of linear partial differential equations, Computing the Equations of a Variety, New complexity estimation on the rainbow-band-separation attack, Computing border bases using mutant strategies, Algorithmic operator algebras via normal forms in tensor rings, Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras, The center problem and time-reversibility with respect to a quadratic involution for a class of polynomial differential systems with order 2 or 3, A Shuffle Argument Secure in the Generic Model, On the exact values of coefficients of coiflets, An FGLM-like algorithm for computing the radical of a zero-dimensional ideal, A new algorithm for computing staggered linear bases, Gröbner-Shirshov basis of quantum group of type $\mathbb E_6$, Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases, A polynomial model for logics with a prime power number of truth values, Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling, Effectiveness of involutive criteria in computation of polynomial Janet bases, Ideal-specific elimination orders form a star-shaped region, Converting subalgebra bases with the Sagbi walk, Involutive bases algorithm incorporating F$_5$ criterion, An analysis of inhomogeneous signature-based Gröbner basis computations, The Geometric Spectrum of a Graph and Associated Curvatures, Equivalence and reduction of bivariate polynomial matrices to their Smith forms, GVW algorithm over principal ideal domains, Gröbner bases, H–bases and interpolation, The graph based on Gröbner-Shirshov bases of groups, Secure PRNGs from Specialized Polynomial Maps over Any $\mathbb{F}_{q}$, Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings, Canonicity!, Gröbner-Shirshov bases for Vinberg-Koszul-Gerstenhaber right-symmetric algebras, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Noncommutative Gröbner Bases: Applications and Generalizations, A new class of term orders for elimination, Further results on homogeneous Gröbner bases under composition, A new symbolic method for solving linear two-point boundary value problems on the level of operators, Detecting unnecessary reductions in an involutive basis computation, On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals, Tree polynomials and non-associative Gröbner bases, Gröbner bases and logarithmic $\mathcal D$-modules., Gröbner-Shirshov bases for some braid groups., Computing restrictions of ideals in finitely generated $k$-algebras by means of Buchberger's algorithm, 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, Non-associative Gröbner bases, Gröbner bases of Hilbert ideals of alternating groups, Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures, The generic Gröbner walk, Approximate varieties, approximate ideals and dimension reduction, The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval, Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras., Generalized power series solutions to linear partial differential equations, Are Buchberger's criteria necessary for the chain condition?, Some Combinatorial Applications of Gröbner Bases, 3D extension of Steiner chains problem, Gröbner–Shirshov bases of the Lie algebra $D^{+}_{n}$, Kernel method and linear recurrence system, Gröbner basis and the problem of contiguous relations, Noetherian Properties of Skew Polynomial Rings with Binomial Relations, The membrane inclusions curvature equations, Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases, Structure of Gröbner bases with respect to block orders, Unnamed Item, On the Computation of Elimination Ideals of Boolean Polynomial Rings, Abstract canonical presentations, Finite Rings with Applications, Difference Algebra, Homogeneous Gröbner bases under composition, Lagrange interpolation on subgrids of tensor product grids, Gröbner-Shirshov bases of irreducible modules over the quantum group $U_q(F_4)$, A Variant of the F4 Algorithm, Computing the algebraic relations of $C$-finite sequences and multisequences, Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases, Standard bases for modules over polynomial subalgebras, Normal Forms for Operators via Gröbner Bases in Tensor Algebras, Gröbner–Shirshov Basis of Quantum Group of TypeG₂, Improved Computation of Involutive Bases, A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, A Note on Dynamic Gröbner Bases Computation, A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, Combining Equational Reasoning, The Noetherian property in some quadratic algebras, Third order integrability conditions for homogeneous potentials of degree −1, Gröbner-Shirshov Bases of the Generalized Bruck-Reilly ∗-Extension, Canonical Forms and Infimum of Positive Braids, Structural cryptanalysis of McEliece schemes with compact keys, Gröbner-Shirshov basis for degenerate Ringel-Hall algebras of type $F_4$, Random sampling in computational algebra: Helly numbers and violator spaces, Some examples for solving systems of algebraic equations by calculating Gröbner bases, Polly cracker, revisited, Testing binomiality of chemical reaction networks using comprehensive Gröbner systems, Boolean ring cryptographic equation solving, On the theory of graded structures, Conditions for polynomial Liénard centers, Gröbner-Shirshov bases of irreducible modules of the quantum group of type $G_2$, New constructive methods in classical ideal theory, The F5 algorithm in Buchberger's style, Involutive method for computing Gröbner bases over $\mathbb F_2$, 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, A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings., Standard bases in mixed power series and polynomial rings over rings, On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra, History and basic features of the critical-pair/completion procedure, Gröbner-Shirshov basis and minimal projective resolution of $U_q^+(A_{n})$, Dynamical Gröbner bases, Groups and Lie algebras corresponding to the Yang-Baxter equations, Rota's classification problem, rewriting systems and Gröbner-Shirshov bases, The big mother of all dualities. 2: Macaulay bases, Computing Gröbner bases associated with lattices, A generalization of reduction rings, \textit{Theorema}: Towards computer-aided mathematical theory exploration, Cryptanalysis of HFE, multi-HFE and variants for odd and even characteristic, Computing dimension and independent sets for polynomial ideals, Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods, 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, A new proof for the correctness of the F5 algorithm, On an installation of Buchberger's algorithm, Alon's nullstellensatz for multisets, Extended $F_5$ criteria, F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases, The kernel method and systems of functional equations with several conditions, Gröbner bases of symmetric ideals, Gröbner-Shirshov bases of some Weyl groups, Sparsity optimized high order finite element functions for $H(\mathrm{curl})$ on tetrahedra, On the computation of parametric Gröbner bases for modules and syzygies, On the relation between the MXL family of algorithms and Gröbner basis algorithms, Obtaining and solving systems of equations in key variables only for the small variants of AES, Computing inhomogeneous Gröbner bases, Some algebraic methods for solving multiobjective polynomial integer programs, Model checking in the modal $\mu $-calculus and generic solutions, On the construction of Gröbner bases using syzygies, Applying IsRewritten criterion on Buchberger algorithm, Combinatorial dimension theory of algebraic varieties, On the computation of generalized standard bases, Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm, Methods for computing in algebraic geometry and commutative algebra, Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow, Free integro-differential algebras and Gröbner-Shirshov bases., Relative locations of subwords in free operated semigroups and Motzkin words., Application of ordered standard bases to catastrophe theory, Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, A new notion of reduction: Generating universal Gröbner bases of ideals in $K[x,y$], Parametrizing compactly supported orthonormal wavelets by discrete moments, On systems of algebraic equations with parametric exponents. II, Gröbner-Shirshov basis of the Adyan extension of the Novikov group., Resultants over commutative idempotent semirings. I: Algebraic aspect, Gröbner bases and Diophantine analysis, Transforming differential equations of multi-loop Feynman integrals into canonical form, Parametric FGLM algorithm, Groebner basis methods for multichannel sampling with unknown offsets, Extended parallelism in the Gröbner basis algorithm, On the derivation and reduction of $C^ 1$ trigonometric basis functions using Maple$^{TM}$, Constructions of standard bases of right $K\langle A\rangle$- modules, A Gröbner-bases algorithm for the computation of the cohomology of Lie (super) algebras, Pivoting in extended rings for computing approximate Gröbner bases, Prony's method in several variables, An improvement over the GVW algorithm for inhomogeneous polynomial systems, Gröbner-Shirshov bases of some monoids., On the structure of order domains, Composition-diamond lemma for tensor product of free algebras., Yukawa couplings in heterotic compactification, Gröbner bases for operads, Determining the global minimum of Higgs potentials via Groebner bases - applied to the NMSSM, The $\mathfrak {sl}_{3}$ Jones polynomial of the trefoil: a case study of $q$-holonomic sequences, On the decoding of binary cyclic codes with the Newton identities, QUAD: A multivariate stream cipher with provable security, Gröbner-Shirshov basis of quantum group of type $\mathbb D_4$, Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm, Certifying properties of an efficient functional program for computing Gröbner bases, Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators., Polybori: A framework for Gröbner-basis computations with Boolean polynomials, A simple introduction to Gröbner basis methods in string phenomenology, Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras., A combinatorial approach to involution and $\delta $-regularity. II: Structure analysis of polynomial modules with Pommaret bases, Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures, A signature-based algorithm for computing Gröbner bases over principal ideal domains, Finite complete rewriting systems and the complexity of word problem, The concept of Gröbner algebras, Automated inferencing, A globally convergent algorithm to compute all Nash equilibria for $n$-person games, Involutive bases under composition, A Gröbner basis algorithm for ideals over zero-dimensional valuation rings, Degrevlex Gröbner bases of generic complete intersections., On the connection between Ritt characteristic sets and Buchberger-Gröbner bases, Automaticity of one-relator semigroups with length less than or equal to three, (Short paper) Simple matrix signature scheme, A solution to Kronecker's problem, Gröbner bases of ideals defined by functionals with an application to ideals of projective points, A Gröbner-Shirshov basis over a special type of braid monoids, Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra, An introduction to commutative and noncommutative Gröbner bases, Applications of Gröbner bases to signal and image processing: a survey, Gröbner-Shirshov basis for degenerate Ringel-Hall algebra of type $D_4$, Syzygies probing scattering amplitudes, Buchberger's algorithm: The term rewriter's point of view, Computing comprehensive Gröbner systems: a comparison of two methods, A Pommaret bases approach to the degree of a polynomial ideal, On an implementation of standard bases and syzygies in SINGULAR, Reduction of everywhere convergent power series with respect to Gröbner bases, Analytical solutions to the optimization of a quadratic cost function subject to linear and quadratic equality constraints, Advances and improvements in the theory of standard bases and syzygies, A generalized Euclidean algorithm for geometry theorem proving, A topological view on algebraic computation models, Computing coupled border bases, On the walk, Factorizations for a class of multivariate polynomial matrices, The decision of prime and primary ideal, Involutive bases of polynomial ideals, Minimal involutive bases, Gröbner-Shirshov basis of derived Hall algebra of type $A_n$, Standard bases over Euclidean domains, Chordal graphs in triangular decomposition in top-down style, Gröbner-Shirshov bases for extended modular, extended Hecke, and Picard groups., Relative reduction and Buchberger's algorithm in filtered free modules, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Probabilistic analysis on Macaulay matrices over finite fields and complexity of constructing Gröbner bases, Efficient Gröbner bases computation over principal ideal rings, A survey on signature-based algorithms for computing Gröbner bases, Composition-diamond lemma for associative conformal algebras., Topological classifications for a class of 2-dimensional quadratic mappings and an application to iterative roots, Intersection of ideals in a polynomial ring over a dual valuation domain, Incremental column-wise verification of arithmetic circuits using computer algebra, Characteristic decomposition: from regular sets to normal sets, Computing strong regular characteristic pairs with Gröbner bases, New ways to multiply $3 \times 3$-matrices, Conjugation of rational functions to power functions and applications to iteration, Some results on Gröbner bases over commutative rings, Computation of Hilbert functions, Some criteria for Gröbner bases and their applications, Construction of all polynomial relations among Dedekind eta functions of level $N$, A general framework for Noetherian well ordered polynomial reductions, Dedicated symplectic integrators for rotation motions, Skew-commutator relations and Gröbner-Shirshov basis of quantum group of type $F_4$, A new algorithm for the generation of unitarity-compatible integration by parts relations, Buchberger-Zacharias theory of multivariate Ore extensions, On the use of Buchberger criteria in $\mathrm G^2\mathrm V$ algorithm for calculating Gröbner bases, Convergent presentations and polygraphic resolutions of associative algebras, The F5 criterion revised, The skew-commutator relations and Gröbner-Shirshov bases of quantum group of type $C_3$, A dynamic F4 algorithm to compute Gröbner bases, Construction of free differential algebras by extending Gröbner-Shirshov bases, Fast Gröbner basis computation and polynomial reduction for generic bivariate ideals, Dimension and depth dependent upper bounds in polynomial ideal theory, Zacharias representation of effective associative rings, Cryptanalysis of the extension field cancellation cryptosystem, Efficiently and effectively recognizing toricity of steady state varieties, Degree upper bounds for involutive bases, Free objects and Gröbner-Shirshov bases in operated contexts, Standard bases, critical tropisms and flatness, An involutive GVW algorithm and the computation of Pommaret bases, Relative Gröbner and involutive bases for ideals in quotient rings, Algorithmic reduction of biological networks with multiple time scales, An algebraic attack on rank metric code-based cryptosystems, Editorial: Symbolic computation and satisfiability checking, SAGBI bases in $G$-algebras, Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings, Ideal basis and primary decompositions: case of two variables, Computation of Macaulay constants and degree bounds for Gröbner bases, Computations in differential and difference modules, On infinite Gröbner bases in free algebras, 2-colorability of $r$-uniform hypergraphs, Characterizations of solutions in geochemistry: existence, uniqueness, and precipitation diagram, Computational ideal theory in finitely generated extension rings, Symbolic computation for the qualitative theory of differential equations, Intersections of sequences of ideals generated by polynomials, A new efficient algorithm for computing Gröbner bases $(F_4)$, Standard pairs and group relaxations in integer programming, Algebraic methods for computing inverse kinematics, A categorical critical-pair completion algorithm, Gröbner-Shirshov bases for irreducible $sl_{n+1}$-modules, Hecke algebras, Specht modules and Gröbner-Shirshov bases., Exact solution of a fully general non-local-thermodynamic-equilibrium two-level atom, Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras, A new signature-based algorithms for computing Gröbner bases, Optimal algorithms for the coverability, the subword, the containment, and the equivalence problems for commutative semigroups., On the complexity of the $F_5$ Gröbner basis algorithm, A new algorithm for discussing Gröbner bases with parameters., Framed graphs and the non-local ideal in the knot Floer cube of resolutions, Computation of blowing up centers, Improving Thomae-Wolf algorithm for solving underdetermined multivariate quadratic polynomial problem, A zero-dimensional valuation ring is 1-Gröbner