Skip to content
#

initial-value-problems

Here is 1 public repository matching this topic...

PhD thesis (Imperial College London, 2021) on spatially irregular ODEs and a pathwise volatility modelling framework: random ODEs, Heston and CIR limits, inverse Gaussian processes, rough volatility. LaTeX source and a Lean 4 formalisation of its main results.

  • Updated Oct 19, 2026
  • TeX

Add this topic to your repo

To associate your repository with the initial-value-problems topic, visit your repo's landing page and select "manage topics."

Learn more