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.

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

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

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∗ ⋮ An Enhanced Binary Characteristic Set Algorithm and Its Applications to Algebraic Cryptanalysis ⋮ How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study ⋮ On the Complexity of Linear Algebra Operations over Algebraic Extension Fields ⋮ An Algorithm for the Intersection Problem of Planar Parametric Curves ⋮ Unnamed Item ⋮ Decreasing norm-trace codes ⋮ 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 ⋮ 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

This page was built for publication: