Formalization of Matrix Theory in HOL4
Matrix theory plays an important role in modeling linear systems in engineering and science. To model and analyze the intricate behavior of complex systems, it is imperative to formalize matrix theory in a metalogic setting. This paper presents the higher-order logic (HOL) formalization of the vecto...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2014-08-01
|
| Series: | Advances in Mechanical Engineering |
| Online Access: | https://doi.org/10.1155/2014/195276 |