see also the index (by topic, by tool, by reference, by year)

## Matrices

Examples involving matrices

- Euler Project problem 11, SPARK/Ada version
- Maximal sum in a matrix
- Maximize product of adjacent numbers in a matrix
- VerifyThis 2016: Strassen's Matrix Multiplication
- VerifyThis 2017: Maximum-sum submatrix

see also the index (by topic, by tool, by reference, by year)