Posts
- Mon 30 July 2018 - I-Adic Completion Is an Inverse Limit
- Tue 24 July 2018 - The Universal Property of a Group Quotient
- Tue 24 December 2013 - Cross Ratio Is the Projective Quantity Preserved by Möbius Maps - updated: Sat 21 July 2018
- Sun 24 June 2018 - Quadratic Irrationals Have Periodic Continued Fractions
- Sat 09 June 2018 - Articulation Points Separate DFS Child Subtrees
- Sat 12 May 2018 - The Torus Cohomology Ring Is an Exterior Algebra
- Sun 15 April 2018 - The Weak Law Follows from Variance Decay
- Fri 18 September 2009 - Soundness Says Formal Proofs Preserve Truth - updated: Tue 20 March 2018
- Tue 06 March 2018 - The Principle of Double Counting Proves an Average Identity
- Tue 20 February 2018 - Löwenheim--Skolem Produces Smaller Elementary Models
- Wed 24 January 2018 - The Poincaré Disk and Half-Plane Are Isometric
- Wed 03 January 2018 - When a Direct Product of Cyclic Groups Is Cyclic
- Wed 03 January 2018 - The First Isomorphism Theorem Turns Fibres into Cosets
- Tue 12 December 2017 - Hall's Condition Is a Set-System Inequality
- Wed 14 June 2017 - A Floor Sum Counts Divisors in a Hyperbola - updated: Sat 09 December 2017
- Fri 17 November 2017 - Burnside Averaging Counts Orbits from Fixed Points
- Tue 24 December 2013 - Stirling's Formula Is a Logarithmic Asymptotic Expansion - updated: Wed 08 November 2017
- Tue 07 November 2017 - Characteristic Functions Turn Sums into Products
- Fri 20 October 2017 - Parseval Turns L2 Energy into Fourier Coefficients
- Thu 08 May 2014 - A Symplectic Form Is Closed and Nondegenerate - updated: Thu 12 October 2017