Integration of multiple formal matrix models in Coq (Q6168985)
From MaRDI portal
scientific article; zbMATH DE number 7724789
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integration of multiple formal matrix models in Coq |
scientific article; zbMATH DE number 7724789 |
Statements
Integration of multiple formal matrix models in Coq (English)
0 references
10 August 2023
0 references
Coq theorem prover
0 references
formal matrix theory
0 references
interface and implementation
0 references
isomorphic mapping
0 references
