SNC Program

Both PASCO and SNC conferences will be held in the North Campus Building, Room 117.

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


Both PASCO and SNC conferences will be held in the North Campus Building, Room 117.

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