Computing Invariant Dynamics for Differential Equations: Spectral Methods, Errors, and Computer Assisted Proof
Mathematics Colloquium Series
Part of the Physical Sciences and Mathematics Commons
Part of the Physical Sciences and Mathematics Commons