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

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

0.00 Avg rating0 Votes
Article ID: iaor19931440
Country: Netherlands
Volume: 41
Issue: 2
Start Page Number: 131
End Page Number: 137
Publication Date: Jan 1993
Journal: Discrete Applied Mathematics
Authors:
Keywords: computational analysis
Abstract:

Based 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).

Reviews

Required fields are marked *. Your email address will not be published.