Items where Author is "Sagraloff, Michael"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Conference or Workshop Item (A Paper)

Mehlhorn, Kurt and Sagraloff, Michael and Wang, Pengming
(2013) From approximate factorization to root isolation.
In: ISSAC.
Conference: ISSAC International Symposium on Symbolic and Algebraic Computation

Article

Sagraloff, Michael and Mehlhorn, Kurt
(2016) Computing real roots of real polynomials.
Journal of Symbolic Computation, 73. 46–86.

Mehlhorn, Kurt and Sagraloff, Michael and Wang, Pengming
(2015) From approximate factorization to root isolation with application to cylindrical algebraic decomposition.
Journal of Symbolic Computation, 66. 34–69.

Mehlhorn, Kurt and Sagraloff, Michael
(2011) A deterministic algorithm for isolating real roots of a real polynomial.
Journal of Symbolic Computation, 46 (1). 70–90.

Mehlhorn, Kurt and Osbild, Ralf and Sagraloff, Michael
(2011) A general approach to the analysis of controlled perturbation algorithms.
Computational Geometry, 44 (9). 507–528.

This list was generated on Thu Mar 28 15:54:22 2024 CET.