The Core Library



  • Joint CUNY Graduate Center and Courant Seminar on
          Symbolic-Numeric Computation

                Thursdays, 3:15-4:10 pm.
                CUNY Graduate Center, room 9116

Upcoming Talks/Events

Recent Talks/Events

  • ``Resolution-Exact Algorithms for Link Robots'',
    • 12th Workshop on Algorithmic Foundations of Robotics (WAFR).
      13-16 Dec 2016, San Francisco.
  • ``Complexity Analysis of Root Clustering for a Complex Polynomial''
    • (with R.Becker, M.Sagraloff, V.Sharma and J.Xu), 41st ISSAC, Waterloo, Canada. July 19-22, 2016.
    • Juan Xu won the Best Female Student Author Award.
  • ``Planar Minimization Diagrams via Subdivision, with Application to Anisotropic Voronoi Diagrams''
    • (with H.Bennett and E.Papadopoulou), Eurographics Symp. on Geometric Processing.
      Berlin, Germany. June 20-24, 2016.
  • ``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.
  • ``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-5, 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 Workshop (GCC).
      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.

Old Talks/Events