/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

 pavpanchekha.com
Equal functions in ITT
| | www.twanvl.nl
Type theory with indexed equality - the theory
2.6 parsecs away

Travel
| |
| | mazzo.li
Agda by Example: Sorting
3.6 parsecs away

Travel
| |
| | blog.computationalcomplexity.org
Computational Complexity: Why did 1+1=2 take Russell and Whitehead 300 pages?
5.2 parsecs away

Travel
| | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we...
| | nhigham.com
What Is a Householder Matrix? - Nick Higham
20.4 parsecs away

Travel
| A Householder matrix is an $latex n\times n$ orthogonal matrix of the form $latex \notag P = I - \displaystyle\frac{2}{v^Tv} vv^T, \qquad 0 \ne v \in\mathbb{R}^n. $ It is easily verified that $LATEX P$ is orthogonal ($LATEX P^TP = I$), symmetric ($LATEX P^T = P$), involutory ($LATEX P^2 = I$ that is, $LATEX P$ is...