N Fieldsteel

Langton's ant part III - Visualizations with OCaml

07 Dec 2022 A post about using OCaml to make 4K visualizations of multicolored generalizations of Langton's Ant. This is a follow up to my earlier posts here and here.

Conway's circle theorem and symbolic algebra

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.

3D Printing a Permutoassociahedron

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

Primality testing in OCaml - part II

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.

Primality testing in OCaml - part I

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