Simon Foster
- Certifying Differential Equation Solutions from Computer Algebra Systems\n in Isabelle/HOL
2021/02/04 by Thomas M. Hickman, Thomas Hickman, Christian Pardillo Laursen +5 · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Automated theorem proving #Computer science #Differential equation #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #HOL #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical proof #Mathematics #Modeling and Simulation Systems #Ordinary differential equation #Polynomial and algebraic computation #Programming language #Proof assistant #Pure mathematics #Symbolic computation #Theoretical computer science #Trustworthiness #cs.LO #math.DS