Home /  Workshop /  Schedule /  Related Videos

Related Videos

Computer-assisted existence and multiplicity proofs for elliptic boundary value problems 18-Nov-2010 09:00 AM PST - 18-Nov-2010 09:50 AM PST

Showing 1 - 20 of 22 matches

Numerical Methods in Algebraic Geometry Date: November 18, 2010 16 views • over 11 years ago
Blind Image Deconvolution via Fast Approximate GCD Date: November 18, 2010 3 views • over 11 years ago
Bermeja - Software for Convex Algebraic Geometry Date: November 17, 2010 2 views • over 11 years ago
Talk Date: November 17, 2010 2 views • over 11 years ago
On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes Date: November 19, 2010 1 view • over 11 years ago
Symbolic and symbolic-numeric techniques for dynamical modeling and simulation Date: November 18, 2010 1 view • over 11 years ago
Introduction to Convex Algebraic Geometry Date: November 17, 2010 1 view • over 11 years ago
Certified numerical homotopy tracking Date: November 19, 2010 No views • over 11 years ago
Geometric symbolic-numeric methods for differential and algebraic equation Date: November 17, 2010 No views • over 11 years ago
Panel discussion Date: November 19, 2010 No views • over 11 years ago
Finding Exceptional Sets via Regenerative Fiber Products Date: November 18, 2010 No views • over 11 years ago
Deflation and most singular set Date: November 17, 2010 No views • over 11 years ago
Hybrid methods for Composition and Splitting Date: November 19, 2010 No views • over 11 years ago
Numerical consequences of symbolic choices in Gale Duality Date: November 19, 2010 No views • over 11 years ago
Applying Approximate Decomposition to Polynomial Root Finding Date: November 17, 2010 No views • over 11 years ago
Towards L1, a quasi-linear LLL Date: November 18, 2010 No views • over 11 years ago
Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method Date: November 19, 2010 No views • over 11 years ago
A symbolic-numeric approach to nonlinear dynamical system analysis Date: November 19, 2010 No views • over 11 years ago
Orbital stability investigations for travelling waves in a nonlinearly supported beam Date: November 18, 2010 No views • over 11 years ago
A numerically stable LLL reduction Date: November 18, 2010 No views • over 11 years ago