Abstrakt. Descartes metoden är en algoritm för att isolera de verkliga rötterna av kvadratfria polynom med verkliga koefficienter. Vi antar att koefficienter ges som (potentiellt oändliga) bitströmmar. Med andra ord, koefficienter kan approximeras till önskad noggrannhet, men är inte kända exakt. Vi visar att en variant av Descartes algoritm kan hantera bitströmskoefficienter. För att isolera de verkliga rötterna av en kvadratiskt fri verklig polynom q(x) = q n x n +... + q 0 med rotseparation ρ, koefficienter  på ≥ 1 och  tillq i  på ≤ 2 τ, behöver den koefficient approximationer till O(n(log(1/ρ) + τ)) bitar efter den binära punkten och har en förväntad kostnad för O(n 4 (log(1/ρ) + τ) 2 ) bit operationer.
Eigenwillig m.fl. REF förlängde Descartes algoritm för att isolera verkliga rötter av polynom till bitströmskoefficienter.
A descartes algorithm for polynomials with bit-stream coefficients
{'venue': 'In CASC, volume 3718 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}