Formalizing Ordinary Differential Equations in PVS
NASA Exit Presentation ; 2020 ; Virtual, US
Miscellaneous
No indication
English
Solving Ordinary Differential Equations
NTRS | 1987
|American Institute of Physics | 2014
|Numerical Solution of Ordinary Differential Equations
Wiley | 2021
|