# Sturm's theorem

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- Archive of Formal Proofs
- 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

- Archive of Formal Proofs
- 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

- IEEE Trans. Pattern Anal. Mach. Intell.
- 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

- Journal of Approximation Theory
- 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

- 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

- 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

- Applied Mathematics and Computation
- 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

- 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

- ISSAC
- 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

- J. ACM
- 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?