Tags: computer-assisted proofs*

0 bookmark(s) - Sort by: Date ↓ / Title /

  1. The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.

Top of the page

First / Previous / Next / Last / Page 1 of 0 SemanticScuttle - klotz.me: tagged with "computer-assisted proofs"

About - Propulsed by SemanticScuttle