Un procédé d'élimination effective et quelques applications. (A procedure for effective elimination and some applications.)

DOI10.5802/aif.1460zbMath0819.13010OpenAlexW1994175388MaRDI QIDQ1891886

Felice Ronga

Publication date: 1 June 1995

Published in: Annales de l'Institut Fourier (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=AIF_1995__45_2_421_0

zbMATH Keywords

effective Nullstellensatzeffective elimination

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomials over commutative rings (13B25) Polynomials, factorization in commutative rings (13P05) Relevant commutative algebra (14A05)

Cites Work

• Bounds for the degrees in the Nullstellensatz
• Solving systems of polynomial inequalities in subexponential time
• Sur la complexité du principe de Tarski-Seidenberg
• Sharp Effective Nullstellensatz
• Polynomials with multiple zeros
• Unnamed Item

This page was built for publication: Un procédé d'élimination effective et quelques applications. (A procedure for effective elimination and some applications.)