Why Mathematica does not simplify sinh(arccosh(x))(johndcook.com)141 points by ibobev 7 months ago | 54 comments
Tetrahedral Analog of the Pythagorean Theorem(johndcook.com)10 points by ibobev 11 months ago | 1 comments
OpenAI’s Navier-Stokes release included a Lean 4 formal proof(johndcook.com)142 points by ibobev 1 month ago | 142 comments