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 |