Pages that link to "Item:Q655157"
From MaRDI portal
The following pages link to A general approach to isolating roots of a bitstream polynomial (Q655157):
Displaying 5 items.
- Exact symbolic-numeric computation of planar algebraic curves (Q387800) (← links)
- A deterministic algorithm for isolating real roots of a real polynomial (Q607163) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- On the complexity of the Descartes method when using approximate arithmetic (Q2447639) (← links)
- Isolating real roots of real polynomials (Q2883823) (← links)