Links tagged “mathematics”

xenaproject.wordpress.com

Models have disproved several open conjectures, including the Jacobian conjecture, with the counterexamples checked formally in Lean.

terrytao.wordpress.com

Terence Tao ports two dozen legacy Java applets to JavaScript with coding agents, and builds new visualisations for relativity and the Gilbreath conjecture.

kevingal.com

Read more →

seeing-theory.brown.edu

The first chapter of Seeing Theory, an interactive visual introduction to chance events, expectation and variance.

minireference.com

Publisher of short, affordable mathematics and physics textbooks written for busy adults and students who want the essentials.

siek.blogspot.co.uk

A primer on the notation of programming language theory — inductive definitions, grammars, operational semantics and typing rules — worked through the simply-typed lambda calculus.

users.softlab.ece.ntua.gr

A Python implementation of the Ulam prime spiral, and a benchmark where running the same grid generation under PyPy comes out around fifty times faster than CPython.

fr.wikipedia.org

Wikipedia article on the 21 combinatorics and graph-theory problems Richard Karp showed in 1972 to be NP-complete by reduction to one another.