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

31 May 2022
Putting together a 3D-printable model of a

permutoassociahedron.

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.

25 May 2022
We implement a rudimentary primality test in the

OCaml programming language.

27 Apr 2022
We use Mathematica to generate a Cayley table for the group

\(\text{SL}(2,3)\) that visualizes its maximal normal series.