Converting bases with the Gröbner walk
From MaRDI portal
Publication:1369804
DOI10.1006/JSCO.1996.0145zbMath0908.13020OpenAlexW2040327317MaRDI QIDQ1369804
Stéphane Collart, Daniel Mall, Michael Kalkbrener
Publication date: 24 November 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/2c905af0cafca995eac16d43e7bee113df204880
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items (55)
Computing Gröbner Fans of Toric Ideals ⋮ Gröbner systems conversion ⋮ Archimedean Orders on Certain Rings of Invariants ⋮ Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t \!][x]\)] ⋮ A new Gröbner basis conversion method based on stabilization techniques ⋮ The Gröbner ring conjecture in the lexicographic order case ⋮ Standard bases in mixed power series and polynomial rings over rings ⋮ Efficient Groebner walk conversion for implicitization of geometric objects ⋮ A combinatorial result on Gröbner fans with an application to universal Gröbner bases ⋮ Characterization of relative Gröbner bases ⋮ On the walk ⋮ Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability ⋮ Universal Analytic Gröbner Bases and Tropical Geometry ⋮ Estimating the volumes of the cones in a Gröbner fan ⋮ Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians ⋮ Triangularizing kinematic constraint equations using Gröbner bases for real-time dynamic simulation ⋮ Morley's theorem revisited: origami construction and automated proof ⋮ Ideal-specific elimination orders form a star-shaped region ⋮ Converting subalgebra bases with the Sagbi walk ⋮ Sparse FGLM algorithms ⋮ Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite ⋮ Application of symbolic computation methods for investigation of stationary motions of an axisymmetric satellite ⋮ Application of computer algebra methods to investigate the dynamics of the system of two connected bodies moving along a circular orbit ⋮ On selection of nonmultiplicative prolongations in computation of Janet bases ⋮ Reconstructing biochemical cluster networks ⋮ A new class of term orders for elimination ⋮ The Gröbner fan and Gröbner walk for modules ⋮ Conquering inseparability: primary decomposition and multivariate factorization over algebraic function fields of positive characteristic ⋮ Gröbner fan and universal characteristic sets of prime differential ideals ⋮ Computing tropical varieties ⋮ The generic Gröbner walk ⋮ Algebraic Attacks on the Courtois Toy Cipher ⋮ Gröbner fans of Hibi ideals, generalized Hibi ideals and flag varieties ⋮ Gröbner bases and Diophantine analysis ⋮ Parametric FGLM algorithm ⋮ Change of order for regular chains in positive dimension ⋮ Counting and Gröbner bases ⋮ Universal characteristic decomposition of radical differential ideals ⋮ A Gröbner free alternative for polynomial system solving ⋮ Computing Gröbner fans ⋮ Computing the radical of an ideal in positive characteristic ⋮ A comparison of unrestricted dynamic Gröbner basis algorithms ⋮ A dynamic F4 algorithm to compute Gröbner bases ⋮ On the Complexity of Linear Algebra Operations over Algebraic Extension Fields ⋮ On the complexity of computing Gröbner bases for weighted homogeneous systems ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ Triangular sets for solving polynomial systems: a comparative implementation of four methods ⋮ Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth ⋮ New developments in the theory of Gröbner bases and applications to formal verification ⋮ Computing Gröbner Bases within Linear Algebra ⋮ Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques ⋮ Polybori: A framework for Gröbner-basis computations with Boolean polynomials ⋮ An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems ⋮ A fast algorithm for Gröbner basis conversion and its applications ⋮ Gröbner bases applied to finitely generated field extensions
This page was built for publication: Converting bases with the Gröbner walk
