/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

leanprover-community.github.io
| | mihai.page
3.2 parsecs away

Travel
| | In which matrix multiplication enters the world
| | mattbaker.blog
2.7 parsecs away

Travel
| | Test your intuition: is the following true or false? Assertion 1: If $latex A$ is a square matrix over a commutative ring $latex R$, the rows of $latex A$ are linearly independent over $latex R$ if and only if the columns of $latex A$ are linearly independent over $latex R$. (All rings in this post...
| | www.sirver.net
2.5 parsecs away

Travel
| |
| | bldavies.com
23.7 parsecs away

Travel
| Let \(A\) be the \(n\times n\) matrix with \({ij}^\text{th}\) entry \(A_{ij}=\min\{i,j\}\). From a previous post, we know \(A\) has a tridiagonal inverse \(A^{-1}\) with \({ij}^\text{th}\) entry1 $$\left[A^{-1}\right]_{ij}=\begin{cases} 2 & \text{if}\ i=j