The Core Library


Upcoming Talks/Events

  • ``Towards Numerical Computational Geometry'',
    • Max-Planck Institute of Computer Science, Saarbruecken, Germany. July 25, 2013.

Recent Talks/Events

  • ``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.
  • ``Geometry as a Clue to Computing'' [talk]
    • cSplash, A Courant Math-Science Event for High School Students, Apr 4, 2009.
  • ``Theory of Correct Rounding'' [talk]
    • Invited talk, 3rd WALCOM (Third Annual Workshop on Algorithm and Computation)
    • Indian Statistical Institute (ISI), Kolkata, India. Feb 18-20, 2009.
  • ``What is the Numerical Halting Problem?'' [talk]
    • cSplash, A Courant Math-Science Event for High School Students, Mar 29, 2008.
  • ``Integral Analysis of Adaptive Algorithms: Real Root Isolation'' [abstract]
    • NYU CS Theory Seminar, Jan 24, 2008, 2:15-3:15pm, WWH 1314.
  • ``Subdivision Algorithms and Integral Analysis'' [abstract] [talk]
    • Invited talk, 2nd MACIS (Int'l Conf. on Math. Aspects of Computer and Info. Sci.)
    • Paris, France, Dec 5-7, 2007.
  • ``Complete Adaptive Algorithms for Curves and their Analysis'',
    • Invited talk, ACS workshop on Robust Shape Operations
    • INRIA Sophia-Antipolis, Sep 26--28, 2007.
  • ``Zero Problems in Theory and Applications''
    • Opening talk, Zero 2007 (Workshop on the Zero Problem: Theory and Applications)
    • Korea Institute of Advanced Study (KIAS), Jul 19-21, 2007.
  • ``Is It Really Zero?'' [ abstract] [ talk]
    • Middlebury College, Vermont. April 6, 2007.
  • ``Complexity of Real Approximation: Brent Revisited'' [ abstract] [ talk]
    • Workshop in celebration of Richard Brent's 60th Birthday:
      ``Computing by the Numbers: Algorithms, Precision, and Complexity''.
    • Weierstrass Institute for Applied Analysis and Stochastics, Berlin. July 20-21, 2006.
  • ``New Bounds in the Analysis of Subdivision Algorithms for Real Root Isolation '' [ abstract] [ talk]
    • Invited talk, General Workshop of ACS Project, Athens, Greece. May 8--11, 2006.
    • Also presented at Math Dept, North Carolina State University, Oct 25, 2006.
  • ``Theory of Real Computation According to EGC'' [ abstract] [ talk]
    • Dagstuhl Seminar 06021 on
      `Reliable Implementation of Real Number Algorithms: Theory and Practice'
    • January 8-13, 2006.
  • ``Seven Lectures on Robust Geometric Computation'' [Seven Lectures on Exact Computation Lectures]

Old Talks/Events