Symbolic Numeric Computation

August 3-5, 2009, Kyoto, Japan

Invited Speakers

Robert M. Corless
"Pseudospectra for Exponential Polynomial Matrices"

Shin'ichi Oishi
"Error Free Transformations of Floating Point Numbers and Its Applications to Constructing Error Free Algorithms"

Victor Pan
"Preconditioning, Randomization, Solving Linear Systems, Eigen-Solving, and Root-Finding"

Stefan Ratschan
"Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems"
Presentation SlidesRatschan SNC2009 Presentation Slides (PDF)

Masaaki Sugihara
"DE-Sinc Numerical Methods"