Errata to “Selecting the top three elements” by M. Aigner: A result of a computer-assisted proof search

AbstractBased on negative results of an attempt to re-establish the known results for the combinatorial functions U3(n), V3(n) and W3(n), an anomaly of these mappings that occurs at certain arguments was detected by a computer-assisted proof search. So far, the corrected values of the numbers U3(23) and V3(22) are proven. Except for finitely many n, no change is made to the published formulas for the functions U3(n), V3(n) and W3(n)