Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF D1 Publications, generated: 4:19, 25 May 2013

Search the publication database

  . Return

Your search returned the following 30 documents:

  1. Chee Yap, Michael Sagraloff, and Vikram Sharma
    Analytic Root Clustering: A Complete Algorithm using Soft Zero Tests
    . Note: submitted to Computability in Europe 2013, an extended version is available at http://www.mpi-inf.mpg.de/~msagralo/SoftPredicate.pdf
  2. Kurt Mehlhorn, Michael Sagraloff, and Pengming Wang
    From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
    arXiv abs/1301.4870, 2013. Note: A short version has been submitted to the International Symposium on Symbolic and Algebraic Computation (ISSAC)
  3. Sagraloff Kerber and Michael Sagraloff
    A worst-case bound for topology computation of algebraic curves
    Journal of Symbolic Computation 47 (3): 239-258, 2012
  4. Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, and Michael Sagraloff
    Exact Symbolic-Numeric Computation of Planar Algebraic Curves
    arXiv abs/1201.1548v1: 1-46, 2012. Note: Submitted to Theoretical Computer Science, corresponding conference versions have been published in the proceedings of ALENEX 2011 and SNC 2011
  5. Michael Sagraloff
    Exaktes geometrisches Rechnen
    MPG Jahrbuch. Note: \url{http://www.mpg.de/4705544/Exaktes_geometrisches_Rechnen?c=5732343}
  6. Pavel Emeliyanenko and Michael Sagraloff
    On the Complexity of Solving a Bivariate Polynomial System
    In: ISSAC 2012 : Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, Grenoble, France, 2012, 154-161
  7. Michael Sagraloff
    When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial
    In: ISSAC 2012 : Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, Grenoble, France, 2012, 297-304
  8. Kurt Mehlhorn and Michael Sagraloff
    A deterministic algorithm for isolating real roots of a real polynomial
    Journal of Symbolic Computation 46 (1): 70-90, 2011
  9. Kurt Mehlhorn, Ralf Osbild, and Michael Sagraloff
    A General Approach to the Analysis of Controlled Perturbation Algorithms
    Computational Geometry 44 (9): 507-528, 2011
  10. Michael Kerber and Michael Sagraloff
    A Note on the Complexity of Real Algebraic Hypersurfaces
    Graphs and Combinatorics 27 (3): 419-430, 2011. Note: A conference version of this paper appeared in JCCGG 2009, see \url{http://www.mpi-inf.mpg.de/~msagralo/TopBoundsJGC.pdf} for a preliminary version.
  11. Michael Sagraloff and Chee Yap
    A Simple But Exact and Efficient Algorithm for Complex Root Isolation
    In: ISSAC 2011 : Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, San Jose, CA, 2011, 353-360. Note: To appear, see \url{http://www.mpi-inf.mpg.de/~msagralo/ceval.pdf} for a preliminary version.
  12. Eric Berberich, Pavel Emeliyanenko, and Michael Sagraloff
    An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
    In: 2011 Proceedings of the Thirteenth Workshop on Algorithm Engineering and Experiments (ALENEX), San Francisco, CA, 2011, 35-47
  13. Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, and Michael Sagraloff
    Arrangement Computation for Planar Algebraic Curves
    arXiv abs/1103.4697, 2011
  14. Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, and Michael Sagraloff
    Arrangement Computation for Planar Algebraic Curves
    In: Proceedings of the 4th Internal Workshop on Symbolic-Numeric Computation, San Jose, USA, 2011, 88-98. Note: An extended version has been submitted to Theoretical Computer Science
  15. Michael Kerber and Michael Sagraloff
    Efficient Real Root Approximation
    In: ISSAC 2011 : Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, San Jose, CA, 2011, 209-216
  16. Michael Sagraloff
    When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial
    arXiv abs/1109.6279v1: 1-21, 2011. Note: Submitted to ISSAC 2012, see http://arxiv.org/abs/1109.6279 for an online version
  17. Michael Sagraloff
    A General Approach to Isolating Roots of a Bitstream Polynomial
    Mathematics in Computer Science 4 (4): 481-506, 2010
  18. Eric Berberich, Michael Kerber, and Michael Sagraloff
    An efficient algorithm for the stratification and triangulation of an algebraic surface
    Computational Geometry: Theory and Applications (CGTA) 43 (3): 257-278, 2010
  19. Eric Berberich, Pavel Emeliyanenko, and Michael Sagraloff
    An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
    CoRR abs/1010.1386: 1-16, 2010
  20. Michael Sagraloff
    On the Complexity of Real Root Isolation
    CoRR abs/1011.0344: 1-33, 2010. Note: submitted to the Journal of Symbolic Computation
  21. Eric Berberich and Michael Sagraloff
    A Generic and Flexible Framework for the Geometrical and Topological Analysis of (Algebraic) Surfaces
    Computer Aided Geometric Design (CAGD) 26 (6): 627-647, 2009
  22. Michael Sagraloff, Michael Kerber, and Michael Hemmer
    Certified Complex Root Isolation via Adaptive Root Separation Bounds
    In: The Joint Conference of ASCM 2009 and MACIS 2009, Fukuoka, Japan, 2009, 151-166
  23. Kurt Mehlhorn and Michael Sagraloff
    Isolating real roots of real polynomials
    In: Proceedings of the 2009 international symposium on Symbolic and algebraic computation (ISSAC), Seoul, Republic of Korea, 2009, 247-254
  24. Pavel Emeliyanenko, Eric Berberich, and Michael Sagraloff
    Visualizing Arcs of Implicit Algebraic Curves, Exactly and Fast
    In: Advances in Visual Computing : 5th International Symposium, ISVC 2009, Las Vegas, U.S., 2009, 608-619
    [PDF: Download: paper.pdf]
  25. Kurt Mehlhorn, Ralf Osbild, and Michael Sagraloff
    Reliable and Efficient Computational Geometry Via Controlled Perturbation
    In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Part I, Venice, Italy, 2006, 299-310

  26. Kurt Mehlhorn and Michael Sagraloff
    A deterministic Bitstream Descartes Algorithm
    University of Groningen, 9700 AB Groningen THE NETHERLANDS, ACS-TR-361502-03, Technical Report. Note: accepted to ISSAC 2009
  27. Kurt Mehlhorn, Ralf Osbild, and Michael Sagraloff
    A General Approach to the Analysis of Controlled Perturbation Algorithms
    University of Groningen, 9700 AB Groningen THE NETHERLANDS, ACS-TR-361502-02, Technical Report
  28. Eric Berberich and Michael Sagraloff
    A Generic and Flexible Framework for the Geometrical and Topological Analysis of (Algebraic) Surfaces
    In: Proceedings of the 2008 ACM Symposium on Solid and Physical Modeling, Stony Brook, USA, 2008, 171-182
    [PDF: Download: bs-framework-authprep.pdf]
  29. Eric Berberich, Michael Kerber, and Michael Sagraloff
    Exact Geometric-Topological Analysis of Algebraic Surfaces
    In: Proceedings of the 24th ACM Symposium on Computational Geometry, College Park Maryland, USA, 2008, 164-173
    [PDF: Download: bks_egtaoas.pdf]
  30. Eric Berberich, Michael Kerber, and Michael Sagraloff
    Geometric Analysis of Algebraic Surfaces Based on Planar Arrangements
    In: 24th European Workshop on Computational Geometry - Collection of Abstracts, Nancy, France, 2008, 29-32. Note: An extended version of this article has appeared under the name "Exact Geometric-Topological Analysis of Algebraic Surfaces" in the Proceedings of the 24th ACM Symposium on Computational Geometry, 2008, pp 164-173
    [PDF: Download: bks-exact-eurocg08.pdf]