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
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 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