Outer Web | Explore

Explore >> Select a destination

You are here		jeremykun.wordpress.com Constructing Topological Spaces - A Primer - Math ? Programming
\|	\|	siddhartha-gadgil.github.io Formalizing Gardam's disproof of Kaplansky's Unit Conjecture · Artificial Intelligence and Mathematics	3.0 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.	3.0 parsecs away Travel
\|	\|	relatedwork.blogspot.com Related Work: The Product Topology, or, How Not to Stumble into the Box Topology	3.6 parsecs away Travel
\|	\|	WARNING : This post won't make much sense unless you've read at least my first Topology As Touching post. Product Topologies and the Myste...	3.6 parsecs away Travel
\|	\|	grossack.site Life in Johnstone's Topological Topos 1 -- Fundamentals \| Chris Grossack's Blog	2.1 parsecs away Travel
\|	\|	Chris Grossack's math blog and professional website.	2.1 parsecs away Travel
\|	\|	www.hhyu.org Gradient descent on a non-Euclidean surface	21.3 parsecs away Travel
\|		Science, programming, books, and other interesting stuff	21.3 parsecs away Travel