19 Aug 2022Conway's circle theorem is a result in classical geometry. We use Mathematica to provide a computer-assisted proof using only symbolic algebra.

26 May 2022
The second in a series of posts about implementing primality tests in OCaml. In this post, we'll implement a deterministic primality test for the OCaml int type using the Miller-Rabin primality test.