@misc{indiciae31c5931087a6,
  title = {Towards Formalization of Advanced Linear Algebra with Applications to Dynamical Systems using PVS},
  author = {Josean A Albelo-Cortes and J Tanner Slagel},
  url = {https://ntrs.nasa.gov/citations/20210020644},
  note = {Source identifier: 20210020644}
}