Basics of Ordinary Differential Equations
Theorem | Location | PVS Name | Contributors |
---|---|---|---|
Picard-Lindelöf Theorem | ODEs@ODE_solution_existence_uniqueness |
unique_solution |
J Tanner Slagel |
- J Tanner Slagel, NASA, USA
- Aaron Dutle, NASA, USA
- J Tanner Slagel, NASA, USA, [email protected]