Computer Assisted Proofs in Dynamics and Delay Equations

C.M. Groothedde

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

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

@phdthesis{7c63a68a16dd4776a23c38d8a7b92cbb,
title = "Computer Assisted Proofs in Dynamics and Delay Equations",
keywords = "Computer Assisted Proofs, Differential Equations, PDEs, DDEs, ODEs, Dynamical Systems, Analysis",
author = "C.M. Groothedde",
year = "2018",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Groothedde, CM 2018, 'Computer Assisted Proofs in Dynamics and Delay Equations', PhD, Vrije Universiteit Amsterdam.

Computer Assisted Proofs in Dynamics and Delay Equations. / Groothedde, C.M.

2018. 174 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

TY - THES

T1 - Computer Assisted Proofs in Dynamics and Delay Equations

AU - Groothedde, C.M.

PY - 2018

Y1 - 2018

KW - Computer Assisted Proofs

KW - Differential Equations

KW - PDEs

KW - DDEs

KW - ODEs

KW - Dynamical Systems

KW - Analysis

M3 - PhD Thesis - Research VU, graduation VU

ER -