Laursen, Christian Pardillo
- Certifying Differential Equation Solutions from Computer Algebra Systems\n in Isabelle/HOL
2021/02/04 by Thomas M. Hickman, Christian Pardillo Laursen, Hickman, Thomas +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
- Brownian Motion in Isabelle/HOL
2024/10/13 by Laursen, Christian Pardillo, Foster, Simon, Post, Mark · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)