A Lightweight Derivation of CORDIC for Trigonometric Functions

Heath Davison Lunt June 2026

A short, simple derivation of CORDIC using matrices and infinite series, abstracted away from hardware details.

The Time Complexity of Building a Heap

Heath Davison Lunt April 2026

A derivation of the time complexity for building a heap using an arithmetico-geometric series.