The Core Library


Upcoming Talks/Events

  • ``Subdivision Atlases for Non-Euclideans Spaces'',
    • 3rd SIAM Conference on Applied Algebraic Geometry,
      Mini-Symposium on Verified Solutions of Algebraic Systems,
      NIMS, Daejeon, South Korea, August 3-7, 2015.
  • `` Root Finding for Analytic and Harmonic Functions'',
    • 3rd SIAM Conference on Applied Algebraic Geometry,
      Mini-Symposium on Algorithms and Complexity in Polynomial System Solving,
      NIMS, Daejeon, South Korea, August 3-7, 2015.

Recent Talks/Events

  • ``Soft Subdivision Search and Motion Planning: Axiomatics'',
    • Department of Computer Science, Rutgers University, April 15, 2015.
  • ``Soft Subdivision Search and Motion Planning: Axiomatics'',
    • (Invited plenary speaker) Frontiers of Algorithms Workshop (FAW),
      Guilin, China (July 3-6?, 2015)
  • ``Resolution-Exact Algorithms for Link Robots'',
    • 11th Workshop on Algorithmic Foundations of Robotics (WAFR).
      3-5 Aug 2014, Bogazici University, Istanbul, Turkey.
  • ``Towards Numerical Computational Geometry'',
    • Beihang University, Beijing, China. July 30, 2014.
  • ``Analytic Root Isolation'',
    • Chinese Academy of Sciences, Beijing, China. July 31, 2014.
  • ``Isotopic Arrangement of Curves: an Exact Numerical Approach'',
    • 4th Intl.~Congress on Mathematical Software (ICMS),
      5-9 Aug 2014, Seoul, Korea.
  • ``Towards Numerical Computational Geometry'',
    • Max-Planck Institute of Computer Science, Saarbruecken, Germany. July 25, 2013.
  • ``Analytic Root Clusters''
    • Invited Talk, Special Session on Computational Complexity in the Continuous World,
      Computability in Europe (CiE 2013), Milan, Italy. Jul 1-5, 2013.
  • ``Soft Subdivision Search and Motion Planning''
    • Robotics Challenge and Vision Workshop (RCV 2013),
      in Robotics Science and Systems (RSS 2013), Berlin, Germany. June 27, 2013.
    • Best Paper Award, sponsored by Computing Community Consortium (CCC).
  • ``On Soft Predicates in Subdivision Motion Planning''
    • (with Cong Wang and Yi-Jen Chiang), 29th SoCG, Rio de Janeiro, Brazil. June 17-20, 2013.
  • ``Beyond Exact Geometric Computation'',
    • Invited talk, Geometric Computing Challenges (GCC) Workshop.
      Part of Geometry Week 2013, Rio de Janeiro, Brazil. Jun 17-20, 2013.
  • ``Recent Results on Exact Root Isolation and their Complexity''
    • Math Colloquium, Department of Applied and Computational Mathematics and Statistics,
      Notre Dame University. April 21, 2013.
  • ``Theory of Soft Subdivision Search and Motion Planning''
    • (with C. Wang and Y.-J. Chiang) Laboratoire d'Informatique de Paris 6,
      INRIA/University Pierre and Marie Curie, Paris. Oct 25, 2012.
  • ``Non-local Isotopic Approximation of Nonsingular Surfaces''
    • (with Long Lin, Jihun Yu) Symposium on Solid and Physical Modeling (SPM'12),
      University of Burgundy, Dijon. Oct 29-31, 2012
  • ``Near Optimal Tree Size Bounds on a Simple Real Root Isolation Algorithm''
    • (with Vikram Sharma), 37th ISSAC, Grenoble, France. July 22-25, 2012.
  • GAIA Lecture Series
    (Center for Geometry and its Applications)
    1. ``Towards Exact Numerical Voronoi Diagrams'' (July 6)
    2. ``Pi=3.14... is in Log Space'' (July 13)
    3. ``Motion Planning and Theory of Soft Subdivision Search'' (July 21)
  • POSTECH, Korea. July 2012.
    [GAIA Poster]
  • ``Towards Exact Numerical Voronoi Diagrams''
    • (Main Plenary Talk, with V.Sharma and J.-M.Lien)
      9th Intl. Symp. on Voronoi Diagrams in Science and Engineering (ISVD 2012), Rutgers, New Jersey. June 27-29, 2012.
  • ``A Simple but Exact and Efficient Algorithm for Complex Root Isolation and its Complexity Analysis''
    • (with Michael Sagraloff) 36th ISSAC, San Jose, California. June 8-11, 2011.
  • ``Empirical Study of an Evaluation-Based Subdivision Algorithm for Complex Root Isolation''
    • (with Narayan Kamath and Irina Voiculescu)
      4th Int'l Workshop on Symbolic Numeric Computation, Jun 7-9, 2011. San Jose, California.
  • ``Cxyz: Isotopic Subdivision Algorithms for Non-Singular Surfaces''
    • Dagstuhl Seminar, Computational Geometry. Mar 13-18, 2011.
  • ``Exact Geometric Computation and Beyond''
    • Oxford University Computing Laboratory, Oct 20, 2009.
  • ``Isotopic Meshing of Algebraic Curves''
    • Postech, Seoul, Korea. Jul 13, 2009.

Old Talks/Events