Seminars

• Joint CUNY Graduate Center and Courant Seminar on
        Symbolic-Numeric Computation
  Location roughly alternates between
              Thursdays, 2-4 pm at CUNY Graduate Center, 365 5th Avenue (room 3309)
  and
              Thursdays, 2-3 pm at NYU, 60 Fifth Ave (room 527).

Recent Talks/Events

• ``Certified Approximation Algorithms for the Fermat Point and n-Ellipses'',
  • (with K.Junginger, I.Mantas, E.Papadopoulou and M.Suderland).
    29th European Symp. on Algorithms (ESA 2021) Lisbon, Portugal. Sep 6--8, 2021.

• ``Solving Irregular Triangular Systems: a Truly Local Approach'',
  • (with M.Pouget and R.Imbach).
    Special Session on Hybrid Symbolic-Numeric Computation,
    Applications of Computer Algebra (Online) Conference, (ACA 2021). July 23-27.

• ``Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation with application to Real Root Isolation'',
  • (with K.Hormann and L.Kania).
    46th ISSAC, St.Petersburg, Russia. Jul 18-23, 2021.

• ``Novel Range Functions via Recursive Lagrange Interpolation, and its effectiveness in Real Root Isolation'',
  • (with K.Hormann and L.Kania).
    Special Session on Symbolic and Numeric Computation with Polynomials,
    Mathematical Congress of the Americas (MCA), Buenos Aires. Jul 19-23, 2021.

• ``Towards Soft Exact Computation'',
  • (Invited Speaker) Computer Algebra in Scientific Computing (21st CASC),
    Intl. Workshop, Moscow, Russia. Aug 26-30, 2019.

• ``Rods and Rings: Soft Subdivision Planner for R^3 x S^2'',
  • (with C.-H. Hsu and Y.-J. Chiang).
    Proc. 35th SoCG, Portland Oregon. June 18-21, 2019.

• ``Mechanization of Mathematics: Growth of an Idea'',
  • (Plenary Speaker) Prof. Wen-tsun Wu's Centenary,
    Int'l Workshop on Mathematics Mechanization,
    Chinese Academy of Science, Beijing. May 12-17, 2019.

• ``FIND-PATH as a Paradigmic Problem for AI and Symbolic Computation'',
  • (Keynote Speaker) 13th Int'l Conf. on Artificial Intelligence and Symbolic \ Computation (AISC),
    Suzhou, China. Sep 16-19, 2018.

• ``Global Identifiability of Parametric ODE Systems'',
  • Applied Math and System Science (AMSS),
    Chinese Academy of Sciences, Beijing, Apr 20, 2018.
  • Chongqing Institute of Green and Intelligent Technology (CIGIT),
    Chinese Academy of Sciences, Chongqing. Mar 15-16, 2018
  • Differential & Difference Algebraic Systems with Applications (DASA),
    SMS Center, Guangxi University for Nationalities, Nanning. Jan 29-30, 2018.

• ``Soft Foundations for Geometric Computation'',
  • School of Computing, KAIST
    Daejeon, Korea. May 13-14, 2018.
  • Centre Computational Mathematicas, Industry and Commerce,
    Department of Computer Science, University of Waterloo. Dec 12, 2017.
  • Reliable Computation and Complexity on the Reals,
    Dagstuhl Seminar 17481, Nov 26-Dec 01, 2017.
  • Spring School on Discrete and Computational Geometry,
    Simons Center for Geometry and Physics, Stony Brook University. Apr 17-21, 2017.

• ``Resolution-Exact Algorithms for Link Robots'',
  • Workshop on Algorithmic Foundations of Robotics (12th WAFR).
    San Francisco. 13-16 Dec 2016.

• ``Soft Foundation for Geometric Computation'',
  • (Invited talk) Fall Workshop on Computational Geometry (26th FWCG),
    CUNY Graduate Center,
    New York City, Oct 27-28, 2016. [Slides]

• ``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.

Old Talks/Events