Hickman, Thomas
- Certifying Differential Equation Solutions from Computer Algebra Systems\n in Isabelle/HOL
2021/02/04 by Thomas M. Hickman, Hickman, Thomas, Christian Pardillo Laursen +4 · 1 citation
Computer Science · #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Modeling and Simulation Systems #Polynomial and algebraic computation