SNC 2014 Preliminary Program
Prorgam subject to change.
Overview
Monday, July 28
8:45  Opening 
9:0010:00 
Invited Talk 
CleaningUp Data for Sparse Model Synthesis: When SymbolicNumeric Computation Meets ErrorCorrecting Codes, Erich L. Kaltofen 

10:0010:30  Break 
10:3012: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:002:00  Lunch 
2:003: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:003:30  Break 
3:305: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:0010:00 
Generalized Polynomials 
Exploring univariate mixed polynomials, Mohamed Elkadi and Andre Galligo 
Prony systems via decimation and homotopy continuation, Dmitry Batenkov 

10:0010:30  Break 
10:3012: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:001:30  Lunch 
1:302:30 
Invited Talk 
Automated Theorem Proving For Special Functions: The Next Phase, Lawrence Paulson 

2:303:00  Break 
3:004: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:306:00  Break 
6:008:00  Banquet 
Wednesday, July 30
9:0010:00 
Invited Talk 
The Euclidean Distance Degree, Bernd Sturmfels 

10:0010:30  Break 
10:3012: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 epsilonMeshing of Real Algebraic Space Curves, Kai Jin and JinSan Cheng 

12:002:00  Lunch 
2:003:00 
Geometry II 
Parametrization of translational surfaces, Sonia PérezDíaz and LiYong Shen 
An Algorithm to Compute Certain Euler Characteristics and ChernSchwartzMacPherson Classes, Martin Helmer 

3:003:30  Break 
3:305: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:00am8:00pm  Excursion to Suzhou / Hanzhou 