Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL.
Thomas HickmanChristian Pardillo LaursenSimon FosterPublished in: CoRR (2021)
Keyphrases
- differential equations
- theorem prover
- computer algebra systems
- boundary value problem
- computer algebra
- natural deduction
- theorem proving
- first order logic
- inference rules
- ordinary differential equations
- numerical solution
- dynamical systems
- boundary conditions
- brownian motion
- initial conditions
- difference equations
- neural network
- continuous functions
- numerical methods
- partial differential equations
- computer vision
- nonlinear differential equations
- exact solution
- numerical integration
- image processing
- learning algorithm