Name		Name	Last commit message	Last commit date
parent directory ..
pvsbin		pvsbin
CHANGELOG		CHANGELOG
README.md		README.md
linear_dependence.prf		linear_dependence.prf
linear_dependence.pvs		linear_dependence.pvs
matrices-zoomed.svg		matrices-zoomed.svg
matrices.prf		matrices.prf
matrices.pvs		matrices.pvs
matrices.svg		matrices.svg
matrix_det.prf		matrix_det.prf
matrix_det.pvs		matrix_det.pvs
matrix_diag.prf		matrix_diag.prf
matrix_diag.pvs		matrix_diag.pvs
matrix_inv.prf		matrix_inv.prf
matrix_inv.pvs		matrix_inv.pvs
matrix_props.prf		matrix_props.prf
matrix_props.pvs		matrix_props.pvs
matrix_upper_triang.prf		matrix_upper_triang.prf
matrix_upper_triang.pvs		matrix_upper_triang.pvs
query_coeff.prf		query_coeff.prf
query_coeff.pvs		query_coeff.pvs
tensor_product.prf		tensor_product.prf
tensor_product.pvs		tensor_product.pvs
top.pvs		top.pvs

README.md

Matrices

Highlights

Major theorems

Theorem	Location	PVS Name	Contributors

Contributors

Anthony Narkwicz, formerly NASA, USA
César Muñoz, NASA, USA
Sam Owre, SRI, USA
Mariano Moscato, NIA & NASA, USA

Maintainer

César Muñoz, NASA, USA

Dependencies