An elementary proof of Wiebe's theorem

DOI10.1016/J.JALGEBRA.2017.12.003zbMath1405.13023OpenAlexW2772406728MaRDI QIDQ1703086

Claire Tête, Thierry Coquand

Publication date: 1 March 2018

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2017.12.003

zbMATH Keywords

free resolutionsresultantregular sequencesWiebe's Theorem

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Applications of logic to commutative algebra (13L05) Solving polynomial systems; resultants (13P15)

Cites Work

• Constructive finite free resolutions
• Invariant aspects of elimination
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Über homologische Invarianten lokaler Ringe
• La logique des topos
• On Regular Sequences
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An elementary proof of Wiebe's theorem