Suslin's lemma for rings containing an infinite field

DOI10.4064/cm5969-2-2015zbMath1365.13046OpenAlexW2509175274WikidataQ124843957 ScholiaQ124843957MaRDI QIDQ2833657

Ihsen Yengui, Samiha Monceur

Publication date: 18 November 2016

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/cm5969-2-2015

zbMATH Keywords

Quillen-Suslin theoremcomputer algebraconstructive mathematicsresultantSuslin lemma

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Solving polynomial systems; resultants (13P15)

Uses Software

• Maple
• QuillenSuslin