On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes
SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 17, 2010 - November 19, 2010
Location: SLMath: Eisenbud Auditorium
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
v0273
v0273
| DVD Video |
v0273-v0273-MPEG-2.m2v
|
Download |
| Audio |
v0273-v0273-AIFF.aiff
|
Download |
| Quicktime |
v0273-v0273-Quicktime.mov
|
Download |
| H.264 Video |
v0273-v0273.mp4
|
Download |
Please report video problems to itsupport@slmath.org.
See more of our Streaming videos on our main VMath Videos page.