scientific article; zbMATH DE number 1263375
From MaRDI portal
Publication:4234258
zbMath0925.13010MaRDI QIDQ4234258
Carlo Traverso, Ferdinando Mora, Hans-Michael Möller
Publication date: 20 June 1999
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) Syzygies, resolutions, complexes and commutative rings (13D02)
Related Items
The F5 algorithm in Buchberger's style, A new framework for computing Gröbner bases, Syzygies probing scattering amplitudes, Computing comprehensive Gröbner systems: a comparison of two methods, الگوریتمی برای محاسبه ی ایده آل های مرتب نقاط و کاربردهای آن در مدل های زیست شناسی, On an implementation of standard bases and syzygies in SINGULAR, A new proof for the correctness of the F5 algorithm, Extended \(F_5\) criteria, F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases, Advances and improvements in the theory of standard bases and syzygies, Deterministic genericity for polynomial ideals, Signature Gröbner bases in free algebras over rings, Axioms for a theory of signature bases, A new algorithm for computing staggered linear bases, Computing syzygies by Faugère's \(\mathbb{F}_{5}\) algorithm, Applying IsRewritten criterion on Buchberger algorithm, GVW algorithm over principal ideal domains, A survey on signature-based algorithms for computing Gröbner bases, Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals, Parallelization of matrix algorithms for Gröbner basis computation, Normal Form Analysis of ℤ2-Equivariant Singularities, Parallel algorithms for Gröbner-basis construction, On the construction of staggered linear bases, Computing minimal free resolutions of right modules over noncommutative algebras, The F5 criterion revised, Flat families by strongly stable ideals and a generalization of Gröbner bases, Syzygies among reduction operators, Computing H-bases via minimal bases for syzygy modules, An involutive GVW algorithm and the computation of Pommaret bases, Relative Gröbner and involutive bases for ideals in quotient rings, Modular Algorithms for Computing a Generating Set of the Syzygy Module, Improved Computation of Involutive Bases, A signature-based algorithm for computing Gröbner bases over principal ideal domains