SNC 2014 Preliminary Program
Prorgam subject to change.
Overview
Monday, July 28
8:45 | Opening |
9:00-10:00 |
Invited Talk |
Cleaning-Up Data for Sparse Model Synthesis: When Symbolic-Numeric Computation Meets Error-Correcting Codes, Erich L. Kaltofen |
|
10:00-10:30 | Break |
10:30-12:00 |
Linear Systems I |
A multiprecision algorithm for the solution of polynomials and polynomial eigenvalue problems, Dario A. Bini and Leonardo Robol |
Some Ideas for the Computation of Matrix Solvents, Esteban Segura Ugalde, Paola Boito and Moulay Barkatou |
Nearly Optimal Computations with Structured Matrices, Victor Y. Pan and Elias Tsigaridas |
|
12:00-2:00 | Lunch |
2:00-3:00 |
Linear Systems II |
Mixed and Componentwise Condition Numbers for Matrix Decompositions, Yimin Wei |
Numerical Linear System Solving With Parametric Entries By Error Correction, Brice Boyer and Erich Kaltofen |
|
3:00-3:30 | Break |
3:30-5:00 |
Optimization |
Optimizing a linear function over a noncompact real algebraic variety, Feng Guo, Chu Wang and Lihong Zhi |
Geometric involutive bases for positive dimensional polynomial ideals and SDP methods, Greg Reid, Fei Wang and Wenyuan Wu |
Maximum Likelihood for Dual Varieties, Jose Rodriguez |
|
Tuesday, July 29
9:00-10:00 |
Generalized Polynomials |
Exploring univariate mixed polynomials, Mohamed Elkadi and Andre Galligo |
Prony systems via decimation and homotopy continuation, Dmitry Batenkov |
|
10:00-10:30 | Break |
10:30-12:00 |
Differential Algebra |
Structure of Symmetry of PDE: Exploiting Partially Integrated Systems, Ian Lisle, Tracy Huang and Greg Reid |
Finding a Sparse Solution of a Class of Linear Differential Equations by Solving a Nonlinear System, Libin Jiao and Bo Yu |
Computing GCRDs of Approximate Differential Polynomials, Joseph Haraldson and Mark Giesbrecht |
|
12:00-1:30 | Lunch |
1:30-2:30 |
Invited Talk |
Automated Theorem Proving For Special Functions: The Next Phase, Lawrence Paulson |
|
2:30-3:00 | Break |
3:00-4:30 |
Verification and Validation |
Two Variants of PSLQ with Applications, Yong Feng, Jingwei Chen and Wenyuan Wu |
A Recursive Decision Method for Termination of Linear Programs, Yi Li |
Safety Verification of Nonlinear Systems Based on Rational Invariants, Wang Lin, Min Wu, Zhengfeng Yang and Zhenbing Zeng |
|
4:30-6:00 | Break |
6:00-8:00 | Banquet |
Wednesday, July 30
9:00-10:00 |
Invited Talk |
The Euclidean Distance Degree, Bernd Sturmfels |
|
10:00-10:30 | Break |
10:30-12:30 |
Geometry I |
Predicting zero reductions in Groebner basis computations, Christian Eder |
Numerical Aspects of Finding Points on Real Solution Components, Wenyuan Wu, Greg Reid and Yong Feng |
Isotopic epsilon-Meshing of Real Algebraic Space Curves, Kai Jin and Jin-San Cheng |
|
12:00-2:00 | Lunch |
2:00-3:00 |
Geometry II |
Parametrization of translational surfaces, Sonia Pérez-Díaz and Li-Yong Shen |
An Algorithm to Compute Certain Euler Characteristics and Chern-Schwartz-MacPherson Classes, Martin Helmer |
|
3:00-3:30 | Break |
3:30-5:00 |
Root finding |
Accelerated Approximation of the Complex Roots of a Univariate Polynomial, Victor Y. Pan and Elias Tsigaridas |
On the interplay between asymptotic and numerical methods to solve differential equations problems, Renato Spigler |
The Nearest Polynomial to Multiple Given Polynomials with a Given Zero, Hiroshi Sekigawa |
|
Thursday, July 31
7:00am-8:00pm | Excursion to Suzhou / Hanzhou |