 |
|
| Wednesday, July 25 | ||
|---|---|---|
| 8:15-8:50 | Registration | |
| 8:50-9:00 | SNC Opening and Welcome | |
| SNC Morning | ||
| Session chair: Jan Verschelde | ||
| 9:00-9:55 | Invited Talk: Nick Trefethen. Computing Numerically with Functions instead of Numbers |
|
| 9:55-10:00 | Pause | |
| 10:00-10:25 | Tateaki Sasaki and Fujio Kako. Computing Floating-point Groebner Bases Stably |
|
| 10:25-10:50 | Victor Y. Pan, Brian Murphy, Rhys Rosholt, Guoliang Qian and Yuqing Tang. Real Root-Finding |
|
| 10:50-11:10 | Break | |
| 11:10-11:35 | Dhavide Aruliah, Rob Corless, Laureano Gonzalez-Vega and Azar Shakoori. Geometric Applications of the Bezout Matrix |
|
| 11:35-12:00 | Dhavide Aruliah, Rob Corless, Laureano Gonzalez-Vega and Azar Shakoori. Companion Matrix Pencils for Hermite Interpolants |
|
| 12:00- 1:30 | Lunch | |
| SNC Afternoon | ||
| Session chair: Greg Reid | ||
| 1:30- 2:25 | Invited Talk: Lihong Zhi. Numerical Optimization in Hybrid Symbolic-numeric Computation |
|
| 2:25- 2:30 | Pause | |
| 2:30- 2:55 | Wen-shin Lee. From Quotient-Difference to Generalized Eigenvalues and Sparse Polynomial Interpolation |
|
| 2:55- 3:20 | Helfried Peyrl and Pablo Parrilo. A Macaulay2 Package for Computing Sum of Squares Decompositions |
|
| 3:20- 3:45 | Rob Corless and Nargol Rezvani. The Nearest Polynomial of Lower Degree |
|
| 3:45- 4:05 | Break | |
| 4:05- 4:30 | Hiroshi Kai, Nanami Nakagawa and Matu-Tarow Noda. Hybrid Integral for Parametrized Rational Functions |
|
| 4:30- 4:55 | John P. May, David Saunders and David Wood. Numerical Techniques for Computing the Inertia of Products of Matrices of Rational Numbers |
|
| 4:55- 5:20 | Masaru Sanuki and Tateaki Sasaki. Computing Approximate GCD's in Ill-conditioned Cases |
|
| Thursday, July 26 | |
|---|---|
| 8:15-9:00 | Registration |
| SNC Morning | |
| Session chair: Andrew Sommese | |
| 9:00- 9:55 | Invited Talk: Charles Wampler. Numerical Algebraic Geometry and Kinematics |
| 9:55-10:00 | Pause |
| 10:00-10:25 | Barry Dayton. Numerical Local Rings and Local Solution of Nonlinear Systems |
| 10:25-10:50 | Dmytro Chibisov and Ernst W. Mayr. Motion Planning for 6R-Robots: Multiple Tasks with Constrained Velocity and Orientation of the End-Effector |
| 10:50-11:10 | Break |
| 11:10-11:35 | Hiroshi Sekigawa. The Nearest Polynomial with a Zero in a Given Domain |
| 11:35-12:00 | Bin Li, Jiawang Nie and Lihong Zhi. Approximate GCDs of Polynomials and SDP Relaxation |
| 12:00- 1:30 | Lunch |
| SNC Afternoon | |
| Session chair: Bernard Mourrain | |
| 1:30- 2:25 | Invited Talk: Andre Galligo. Approximate Bivariate Factorization: a Geometric Viewpoint |
| 2:25- 2:30 | Pause |
| 2:30- 2:55 | Daiju Inaba and Tateaki Sasaki. A Numerical Study of Extended Hensel Series |
| 2:55- 3:20 | Amir Hashemi. Polynomial-Time Algorithm for Hilbert Series of Borel Type Ideals |
| 3:20- 3:45 | Poteaux Adrien. Computing Monodromy Groups defined by Plane Algebraic Curves |
| 3:45- 4:05 | Break |
| 4:05- 4:30 | Mario Fioravanti, Laureano Gonzalez-Vega, and Andreas Seidl. Real Implicitization of Curves and Geometric Extraneous Components |
| 4:30- 4:55 | Laureano Gonzalez-Vega, Rob Corless, Dhavide Aruliah, Ignacio F. Rua and Azar
Shakoori. Computing the Topology of a Real Algebraic Plane Curve whose Equation is not Directly Available |
| Friday, July 27 | ||
|---|---|---|
| 8:15-8:50 | Registration | |
| 8:50-9:00 | PASCO Opening and Welcome | |
| SNC-PASCO Morning | ||
| Session chair: Marc Moreno Maza | ||
| 9:00-9:55 | [PASCO] Invited Talk: Katherine Yelick. Productivity and Performance Using Partitioned Global Address Space Languages |
|
| 9:55-10:00 | Pause | |
| 10:00-10:25 | [SNC] Victor Pan. The Schur Aggregation for Solving Linear Systems of Equations |
|
| 10:25-10:45 | Break | |
| Session chair: Tateaki Sasaki | ||
| 10:45-11:10 | [PASCO] Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi and Anna
Urbanska. Parallel Computation of the Rank of Large Sparse Matrices from Algebraic K-Theory |
|
| 11:10-11:35 | [SNC] Marc Normandin, Adam Vajda and Sreeram Valluri. Matched Filtering a Gravitational Wave Pulsar Signal Involving Reciprocal Gamma Functions |
|
| 11:35-11:40 | Pause | |
| 11:40-12:35 | [SNC] Invited Talk: Erich Kaltofen. On Probabilistic Analysis of Randomization in Hybrid Symbolic-Numeric Algorithms |
|
| 12:35-2:00 | Lunch | |
| SNC-PASCO Afternoon | ||
| Session chair: Stephen Watt | ||
| 2:00-2:25 | Paul DeMarco. Parallel and Distributed Computation Using Maple 11 |
|
| 2:25-2:30 | Pause | |
| 2:30-3:25 | Invited Talk: Anthony Kennedy. Automating Renormalization of Quantum Field Theories |
|
| 3:25-3:30 | Pause | |
| 3:30-3:55 | [PASCO] David Saunders, Bruce Char and Bryan Youse. LinBox and Future High Performance Computer Algebra |
|
| 3:55-4:15 | Break | |
| Session chair: Jeremy Johnson | ||
| 4:15-4:40 | [PASCO] Marc Moreno Maza and Yuzhen Xie. Component-level Parallelization of Triangular Decompositions |
|
| 4:40-5:05 | [SNC] Victor Y. Pan and Xiaodong Yan. Null Space and Eigenspace Computations with Additive Preprocessing |
|
| 5:05-5:30 | [PASCO] Anton Leykin. Computing Monodromy via Parallel Homotopy Continuation |
|
| SNC-PASCO Banquet | ||
| 6:00 | Banquet at the Grad Club (Middlesex College) | |
| After-dinner speaker: Keith Geddes | ||