An algebraic certificate for Budan's theorem

DOI10.1016/j.jpaa.2010.08.016zbMath1238.12002OpenAlexW2004696957MaRDI QIDQ531342

Daniel Bembé

Publication date: 29 April 2011

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2010.08.016

zbMATH Keywords

Sturm sequencereal closurealgebraic certificateBudan's Theorem

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Ordered fields (12J15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
• Sur la vie et l'oeuvre de François Budan (1761--1840). (On the life and work of F. Budan)
• The \(K\)-moment problem for compact semi-algebraic sets
• Generalized Budan--Fourier theorem and virtual roots
• Anneaux preordonnes
• A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
• Algorithms in real algebraic geometry
• Dynamical method in algebra: Effective Nullstellensätze
• An algorithmic approach to Schmüdgen's Positivstellensatz

This page was built for publication: An algebraic certificate for Budan's theorem