Sturm's theorem

Known as: Sturm Chain, Sturmian Sequence, Sturm 
In mathematics, the Sturm sequence of a univariate polynomial p is a sequence of polynomials associated with p and its derivative by a variant of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Given a univariate polynomial with simple roots p and the sequence of polynomials p 0 (x) = p(x) p 1 (x) = p (x) p 2 (x) = −rem(p… (More)
Is this relevant?
2014
2014
We have formalised the Sturm-Tarski theorem (also referred as the Tarski theorem): Given polynomials p, q ∈ R[x], the Sturm… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We give the first complete theoretical convergence analysis for the iterative extensions of the Sturm/Triggs algorithm. We show… (More)
Is this relevant?
2004
2004
Inequalities satisfied by the zeros of the solutions of second order hypergeometric equations are derived through a systematic… (More)
Is this relevant?
2003
2003
We present a proof of the Sturm-Hurwitz theorem, using basic calculus. Let f : R → R be a continuous 2π-periodic function, and… (More)
Is this relevant?
2001
2001
We employ a version of the Picone Identity, suitable for the pLaplacean, to obtain a Sturm Comparison Theorem for generalized… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
For Sturm-Liouville eigenvalue problems on time scales with separated boundary conditions we give an oscillation theorem and… (More)
Is this relevant?
1994
1994
Sturm’s type theorems on separation of zeros of solutions are proved for the second order linear differential equations with… (More)
Is this relevant?
1989
1989
Introduction Formal computations with inequalities is a subject of general interest in computer algebra. In particular it is… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
The s tar thng success o f the Rabm-S t ra s sen -So lovay p n m a h t y algori thm, together wi th the intr iguing foundat tonal… (More)
Is this relevant?