MSRI- SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation
-
Title: Panel discussion
Speaker:
Link:
-
Title: Quality Up in Polynomial Homotopy Continuation
Speaker:
Link:
-
Title: Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method
Speaker:
Link:
-
Title: Certified numerical homotopy tracking
Speaker:
Link:
-
Title: On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes
Speaker:
Link:
-
Title: Numerical consequences of symbolic choices in Gale Duality
Speaker:
Link:
-
Title: A symbolic-numeric approach to nonlinear dynamical system analysis
Speaker:
Link:
-
Title: Hybrid methods for Composition and Splitting
Speaker:
Link:
-
Title: Symbolic and symbolic-numeric techniques for dynamical modeling and simulation
Speaker:
Link:
-
Title: Blind Image Deconvolution via Fast Approximate GCD
Speaker:
Link:
-
Title: Numerical Methods in Algebraic Geometry
Speaker:
Link:
-
Title: Towards L1, a quasi-linear LLL
Speaker:
Link:
-
Title: A numerically stable LLL reduction
Speaker:
Link:
-
Title: Finding Exceptional Sets via Regenerative Fiber Products
Speaker:
Link:
-
Title: Orbital stability investigations for travelling waves in a nonlinearly supported beam
Speaker:
Link:
-
Title: Computer-assisted existence and multiplicity proofs for elliptic boundary value problems
Speaker:
Link:
-
Title: Talk
Speaker:
Link:
-
Title: Applying Approximate Decomposition to Polynomial Root Finding
Speaker:
Link:
-
Title: Geometric symbolic-numeric methods for differential and algebraic equation
Speaker:
Link:
-
Title: Decay properties of matrix functions: an application to electronic structure computation
Speaker:
Link: