Search Results for author: Simon Foster

Found 3 papers, 1 papers with code

Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL

2 code implementations4 Feb 2021 Thomas Hickman, Christian Pardillo Laursen, Simon Foster

However, Isabelle lacks automated proof support for continuous artifacts, which means that verification is often manual.

Logic in Computer Science Dynamical Systems

Cannot find the paper you are looking for? You can Submit a new open access paper.