back to table · edit · history · where entries came from · files · download
887 bytes, as of the version from 2026-10-27 01:04 (current). Recorded here, not run.
# Argument selection and reproduction
Let $0>a_1^{\prime}>a_2^{\prime}>\cdots$ be the negative real zeros of $\operatorname{Ai}^{\prime}$, ordered from the origin CITE{NaturalArguments}. The selected values are the successive extremal heights, not the locations of the extrema. The origin is the initial-value anchor.
it holds the origin and the first twenty extremal heights specified in CITE{argument-selection}; the selection is not exhaustive over the real domain
References: https://dlmf.nist.gov/9.9
Install numberdb, python-flint and mpmath. Run `python generate.py` to verify the stored selection or `python checks.py T198 --live` for independent checks. The default never writes. `--fill` sends entries; `--remove-unselected` is a separate explicit choice. It does not approve or publish a table. Historical reference grids remain available in the website revision history.