- Certified Approximation Algorithms for the Fermat Point and n-Ellipses
- 29th European Symp. on Algorithms (ESA 2021), Lisbon, Portugal. Sep 6-8, 2021.
- Solving Irregular Triangular Systems: a Truly Local Approach
- Special Session on Hybrid Symbolic-Numeric Computation, at
Applications of Computer Algebra, (ACA 2021, online), Waterloo, Canada. July 23--27, 2021.
- Special Session on Hybrid Symbolic-Numeric Computation, at
- Novel Range Functions via Recursive Lagrange Interpolation, and its effectiveness in Real Root Isolation
- Special Session on Symbolic and Numerical Computation with Polynomials, at
Mathematical Congress of the Americas (MCA), Buenos Aires. July 12-16 & 19--24, 2021.
- Special Session on Symbolic and Numerical Computation with Polynomials, at
- Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation with application to Real Root Isolation
- 46th ISSAC, St.Petersburg, Russia. Jul 18-23, 2021.
- Towards Soft Exact Computation (Invited Speaker)
- Computer Algebra in Scientific Computing (21st CASC), Moscow, Russia. Aug 26-30, 2019.
- Rods and Rings: Soft Subdivision Planner for R^3 x S^2
- 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), Shanghai. Sep 16-19, 2018.
- Soft Foundation for Geometric Computation
- (4) School of Computing, KAIST
- Daejeon, Korea. May 13-14, 2018.
- (3) Computational Mathematics Colloquium
- Centre for Computational Mathematics, Industry and Commerce. University of Waterloo. Dec 12, 2017.
- (2) Reliable Computation and Complexity on the Reals
- Dagstuhl Seminar 17481, Nov 26-Dec 01, 2017.
- (1) Spring School on Discrete and Computational Geometry
- Simons Center for Geometry and Physics, Stony Brook University, Apr 17-21, 2017.
- (4) School of Computing, KAIST
- Global Identifiability of Parametric ODE Systems
- (3) Applied Math and System Science (AMSS)
- Chinese Academy of Sciences, Beijing, Apr 20, 2018.
- (2) Institute of Green and Intelligent Technology
- Chinese Academy of Sciences, Chongqing. Mar 15-16, 2018
- (1) Differential/Difference Algebraic Systems with Applications (DASA)
- SMS Center, Guangxi University for Nationalities, Nanning. Jan 29-30, 2018.
- (3) Applied Math and System Science (AMSS)
- Effective Subdivision Algorithm for Isolating Real Zeros of Nonlinear Systems, with Complexity Analysis
- (3) 44th ISSAC, Beijing, Jul 2019.
- (2) Applied Math and System Science (AMSS)
- Chinese Academy of Sciences, Beijing. Jul 5, 2018.
- (1) CMS/AMS Joint Meeting
- Fudan University, Shanghai. June 10-14, 2018.
Page last modified on June 30, 2021, at 01:18 AM
PmWiki/Adapt/Yap2