TY  - RPRT
TI  - Towards Formalization of Advanced Linear Algebra with Applications to Dynamical Systems using PVS
AU  - Josean A Albelo-Cortes
AU  - J Tanner Slagel
UR  - https://ntrs.nasa.gov/citations/20210020644
ID  - 20210020644
ER  -