Conway's circle theorem and symbolic algebra

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

circle animation

3D Printing a Permutoassociahedron

Putting together a 3D-printable model of a permutoassociahedron.

animated 1-skeleton of a permutoassociahedron

Primality testing in OCaml - part II

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.

Primality testing in OCaml - part I

We implement a rudimentary primality test in the OCaml programming language.

A Cayley table for SL(2,3)

We use Mathematica to generate a Cayley table for the group \(\text{SL}(2,3)\) that visualizes its maximal normal series.

Cayley table for SL(2,3)