14. Symbolic-Numeric Computation
Session Organizers:
Session Abstract:
This session is about any kind of computation on the boundary between
symbolic and numerical algorithms. The definition of
“symbolic-numeric” will be interpreted fairly broadly.
Topics (including, but not limited to):
- Overview of symbolic-numeric computation
- Certified arbitrary-precision
- Numeric computation with guaranteed error bounds
- Interval arithmetic and Taylor models
- Symbolic-numeric linear algebra
- Symbolic-numeric methods for polynomial systems
- Symbolic-numeric methods for differential equations
- Post-certification of purely numerical algorithms
- Employing numerical algorithms to speed up symbolic computation
Session Talks:
tba