/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

 polymathprojects.org
Rota's Basis Conjecture: Polymath 12? | The polymath blog
| | siddhartha-gadgil.github.io
Formalizing Gardam's disproof of Kaplansky's Unit Conjecture · Artificial Intelligence and Mathematics
5.6 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.
| | terrytao.wordpress.com
Some notes on the Coven-Meyerowitz conjecture | What's new
3.1 parsecs away

Travel
| | Let $latex {G = (G,+)}&fg=000000$ be a finite additive group. A tiling pair is a pair of non-empty subsets $latex {A, B}&fg=000000$ such that every element of $latex {G}&fg=000000$ can
| | rjlipton.com
Isomorphism Is Where It's At | Gödel's Lost Letter and P=NP
5.0 parsecs away

Travel
| | Isomorphism at the SODA 2014 conference Ronald Read and Derek Corneil are Canadian mathematicians and computer scientists. Read earned a PhD in Mathematics from the University of London in 1959, while Corneil was one of the inaugural PhD's in the University of Toronto's Department of Computer Science. Read is also an accomplished musician and composer---indeed...
| | wwwtech.de
A Rust adventure - WWWTech
20.9 parsecs away

Travel
| [AI summary] A user shares their experience learning Rust, a systems programming language, by building a parallel file search tool and praising its safety features, type system, and documentation while critiquing some API usability.