/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

g-w1.github.io
| | mikespivey.wordpress.com

It's fairly well-known, to those who know it, that $latex \displaystyle \left(\sum_{k=1}^n k \right)^2 = \frac{n^2(n+1)^2}{4} = \sum_{k=1}^n k^3 $. In other words, the square of the sum of the first n positive integers equals the sum of the cubes of the first n positive integers. It's probably less well-known that a similar relationship holds...
9.7 parsecs

Travel
| |
| | nhigham.com

The Cayley-Hamilton Theorem says that a square matrix $LATEX A$ satisfies its characteristic equation, that is $latex p(A) = 0$ where $latex p(t) = \det(tI-A)$ is the characteristic polynomial. This statement is not simply the substitution ``$latex p(A) = \det(A - A) = 0$'', which is not valid since $latex t$ must remain a scalar...
5.2 parsecs

Travel
| |
| | richardzach.org

Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780...
6.1 parsecs

Travel
| |
| | wargamecampaign.wordpress.com

[AI summary] The blog post discusses game design and related topics, with a focus on wargame rules and maps, and includes subscription details and privacy information.
16.3 parsecs

Travel
|