ERRATA TO SELECTING THE TOP 3 ELEMENTS BY AIGNER,M. - A RESULT OF A COMPUTER-ASSISTED PROOF SEARCH

被引：1

作者：

EUSTERBROCK, J

机构：

[1] Intellektik-FB Informatik, W-6100 Darmstadt

来源：

DISCRETE APPLIED MATHEMATICS | 1993年 / 41卷 / 02期

关键词：

D O I：

10.1016/0166-218X(93)90033-K

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

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

引用

页码：131 / 137

页数：7

共 7 条

[1] SELECTING THE TOP 3 ELEMENTS [J].