/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

hadrienj.github.io
| | leanprover-community.github.io
3.0 parsecs away

Travel
| | [AI summary] A technical documentation entry for the Lean mathematical library detailing definitions and operations for semimodules, modules, matrices, linear maps, and bilinear forms
| | nhigham.com
2.5 parsecs away

Travel
| | The pseudoinverse is an extension of the concept of the inverse of a nonsingular square matrix to singular matrices and rectangular matrices. It is one of many generalized inverses, but the one most useful in practice as it has a number of special properties. The pseudoinverse of a matrix $latex A\in\mathbb{C}^{m\times n}$ is an $latex...
| | jasonmaa.com
2.3 parsecs away

Travel
| |
| | algassert.com
22.7 parsecs away

Travel
| Craig Gidney's computer science blog