Constructive algebra

zbMATH Open1304.13047MaRDI QIDQ2878070

Henri Lombardi, Thierry Coquand

Publication date: 28 August 2014

Published in: La Gaceta de la Real Sociedad Matemática Española (Search for Journal in Brave)

zbMATH Keywords

algorithmssurvey articleconstructive algebracomputational commutative algebraHilbert program

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials, factorization in commutative rings (13P05) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Popularization of mathematics (00A09) Computational homological algebra (13P20) Computational aspects and applications of commutative rings (13Pxx)

Related Items (6)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A course in constructive algebra ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Constructive algebraic integration theory

This page was built for publication: Constructive algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878070)