Verifying approximate solutions - TahminaBegum/Group-14 GitHub Wiki

Verifying approximate solutions to differential equations: https://www.sciencedirect.com/science/article/pii/S037704270500110X

Numerical verification of solutions for obstacle problems: https://www.sciencedirect.com/science/article/pii/S0377042703007131

Formal verification of exact computations using Newton’s method: http://www-sop.inria.fr/marelle/Exact_Newton/main.pdf