The documentation of these algorithms is in:
- General discretization of operators with finite differences: operator_discretization_finite_differences.pdf
- Solving optimal stopping problems: optimal_stopping.pdf
See Ben Moll's Heterogeneous Agent Models in Continuous Time project. In particular