Presentation of the book The Gröbner cover

DOI10.1007/s11786-019-00438-zzbMath1453.13083OpenAlexW3000004669WikidataQ126350152 ScholiaQ126350152MaRDI QIDQ782705

Antonio Montes

Publication date: 28 July 2020

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-019-00438-z

zbMATH Keywords

Gröbner coverparametric polynomial systemsautomatic discovery of geometric theoremscanonical discussiongeometric envelope computationgeometric locus computation

Mathematics Subject Classification ID

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) Mechanization of proofs and logical operations (03B35) External book reviews (00A17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

grobcov.lib

Uses Software

• SINGULAR

Cites Work

• Gröbner bases for polynomial systems with parameters
• Locus computation in dynamic geometry environment

This page was built for publication: Presentation of the book The Gröbner cover