Algorithmic aspects of Suslin's proof of Serre's conjecture

DOI10.1007/BF01200406zbMath0824.68049WikidataQ123145380 ScholiaQ123145380MaRDI QIDQ2366722

Pablo Solernó, Guillermo Cortiñas, Silvia Danón, Teresa Krick, Joos Heintz, Leandro Caniglia

Publication date: 30 August 1993

Published in: Computational Complexity (Search for Journal in Brave)

zbMATH Keywords

Serre's conjecturesequential complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Polynomial rings and ideals; rings of integer-valued polynomials (13F20)

Related Items

An algorithm for the Quillen-Suslin theorem for monoid rings, Bounds for degrees of syzygies of polynomials defining a grade two ideal, Suslin's algorithms for reduction of unimodular rows, An algorithm for unimodular completion over noetherian rings, An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals, Bounding the degrees of a minimal \(\mu\)-basis for a rational surface parametrization, A generic effective Nullstellensatz, Computing bases of complete intersection rings in Noether position

Cites Work

• On computing the determinant in small parallel time using a small number of processors
• Bounds for the degrees in the Nullstellensatz
• On the complexity of computing syzygies
• Algorithms for the Quillen-Suslin theorem
• Serre's conjecture
• The complexity of the word problems for commutative semigroups and polynomial ideals
• Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel
• Constructions in Algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item