/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

 www.jeremykun.com
Groups - A Second Primer | Math Programming
| | qchu.wordpress.com
Meditation on the Sylow theorems I | Annoying Precision
1.8 parsecs away

Travel
| | As an undergraduate the proofs I saw of the Sylow theorems seemed very complicated and I was totally unable to remember them. The goal of this post is to explain proofs of the Sylow theorems which I am actually able to remember, several of which use our old friend The $latex p$-group fixed point theorem...
| | cronokirby.com
Encoding the Naturals - Cronokirby
2.4 parsecs away

Travel
| | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/
| | siddhartha-gadgil.github.io
Formalizing Gardam's disproof of Kaplansky's Unit Conjecture ยท Artificial Intelligence and Mathematics
1.7 parsecs away

Travel
| | [AI summary] The author details the process of using the Lean 4 programming language to formally verify Giles Gardam's disproof of the Kaplansky Unit Conjecture in mathematics.
| | statsandr.com
Multiple linear regression made simple - Stats and R
24.8 parsecs away

Travel
| Learn how to run multiple and simple linear regression in R, how to interpret the results and how to verify the conditions of application