Algorithms for the Quillen-Suslin theorem
From MaRDI portal
Publication:1183295
DOI10.1016/0021-8693(92)90189-SzbMath0747.13020MaRDI QIDQ1183295
Alessandro Logar, Bernd Sturmfels
Publication date: 28 June 1992
Published in: Journal of Algebra (Search for Journal in Brave)
Projective and free modules and ideals in commutative rings (13C10) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
Unimodular Completions and Orthogonal Complements of Matrices over Univariate Ore Extensions, Algorithmic aspects of Suslin's proof of Serre's conjecture, An algorithm for the Quillen-Suslin theorem for monoid rings, Recent progress in an algebraic analysis approach to linear systems, Computational aspects of the coordinate ring of an algebraic variety, Symbolic computation and signal processing, Polynomial automorphisms and Gröbner reductions, New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices, Factorizations for a class of multivariate polynomial matrices, Projective modules and Gröbner bases for skew PBW extensions, New results on the equivalence of bivariate polynomial matrices, Bases for projective modules in \(A_n(k)\)., Suslin's algorithms for reduction of unimodular rows, Factoring and decomposing a class of linear functional systems, AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION, An algorithm for unimodular completion over noetherian rings, Making the use of maximal ideals constructive, An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals, Approximation properties and construction of Hermite interpolants and biorthogonal multiwavelets, The computation of the logarithmic cohomology for plane curves, A generic effective Nullstellensatz, Computing bases of complete intersection rings in Noether position, A generalization of Serre's conjecture and some related issues, The method of virtual components in the multivariate setting, Factorizations for \(n\)D polynomial matrices, Explicit comparison theorems for \(\mathcal D\)-modules, On hyper-regularity and unimodularity of Ore polynomial matrices, Diophantine approximation of Mahler numbers, Construction of trivariate compactly supported biorthogonal box spline wavelets, Constructions in \(R[x_1,\dots ,x_n\): applications to K-theory]
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- New constructive methods in classical ideal theory
- Modules of piecewise polynomials and their freeness
- Serre's conjecture
- Computational aspects of the coordinate ring of an algebraic variety
- The Quillen - Suslin theorem and the structure of n-dimensional elementary polynomial matrices
- Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel