Bibliography

Christiansen2023

David Thrane Christiansen: Functional Programming in Lean. Microsoft, 2023, https://lean-lang.org/functional_programming_in_lean/.

Press2007

William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery: Numerical Recipes: The Art of Scientific Computing (3rd ed.). Cambridge University Press, 2007, 9780521880688.