Pages that link to "Item:Q655157"

The following pages link to A general approach to isolating roots of a bitstream polynomial (Q655157):

Displaying 3 items.

• Exact symbolic-numeric computation of planar algebraic curves (Q387800) (← 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)