die Gleichung \begin{eqnarray}\frac{\pi }{4}=12\arctan \frac{1}{18}+8\arctan \frac{1}{57}-5\arctan \frac{1}{239},\end{eqnarray} in den gesammelten Werken von Carl Friedrich Gauß (1863) zu finden.

Die aus dieser Formel abgeleitete Arcustangensreihe für π war die Grundlage mehrerer Rekordberechnungen von Dezimalstellen von π mit Computern.