Computer Assisted Proofs in Dynamics and Delay Equations

C.M. Groothedde

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

226 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • van den Berg, Jan Bouwe, Supervisor
  • Rink, Bob, Supervisor
Award date29 Jun 2018
Publication statusPublished - 2018

Keywords

  • Computer Assisted Proofs
  • Differential Equations
  • PDEs
  • DDEs
  • ODEs
  • Dynamical Systems
  • Analysis

Cite this