Links tagged “mathematics”
7 links, newest first.
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.
seeing-theory.brown.edu
Chance Events Randomness is all around us.
pdfs.semanticscholar.org
%PDF-1.4 %���� 4 0 obj << /S /GoTo /D (part.1) >> endobj 7 0 obj (I Basic Set Theory) endobj 8 0 obj << /S /GoTo /D (chapter.1) >> endobj 11 0 obj (Introduction to Part I) endobj 12 0 obj << /S /GoTo /D (chapter.2) >> endobj 15 0 obj (Set Theory as an Axiomatic Theory) endobj 16 0 obj << /S /GoTo /D…
rob-bell.net
A beginner's guide to Big O notation Big O notation is used in Computer Science to describe the performance or complexity of an algorithm.
siek.blogspot.co.uk
This blog post is meant to help my friends get started in reading my other blog posts, that is, this post is a crash course on the notation used in programming language theory ("PL theory" for short).
