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)