Stratified Universality

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begin{table}[htbp]
2 \centering
3 \caption{Exact finite verification for Nonlinear tree atlas.}
4 \label{tab:block11-validation}
5 \small
6 \begin{tabularx}{\textwidth}{@{}Y r@{}}
7 \toprule
8 Validation class & Exact checks\\
9 \midrule
10 Colored profile counts & 100\\
11 Orbit-size identity & 48\\
12 Exact compressed Faà di Bruno values & 126\\
13 Polynomial fixed-point prefixes & 300\\
14 Finite tree-address signatures & 70,458\\
15 Fuss-Catalan formulas & 2,892\\
16 Exact q-ary packet systems & 37,567\\
17 Dominant-orbit combinatorics & 176\\
18 Dependency-core reductions & 4,054\\
19 \midrule
20 \textbf{Nonlinear tree atlas total} & \textbf{115,721}\\
21 Cumulative the preceding certified atlas program total & 2,027,665\\
22 Failures & 0\\
23 \bottomrule
24 \end{tabularx}
25 \end{table}

Back to source controls

Back to Stratified Universality