共 50 条
- [21] CONJECTURE FOR INTEGER SEQUENCES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (07): : A753 - A753
- [24] ARITHMETIC PROGRESSIONS IN SEQUENCES JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1975, 10 (AUG): : 427 - 430
- [25] Towards Verifying Nonlinear Integer Arithmetic COMPUTER AIDED VERIFICATION (CAV 2017), PT II, 2017, 10427 : 238 - 258
- [26] Lossless or Quantized Boosting with Integer Arithmetic INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
- [27] PROBLEM ON INTEGER SEQUENCES JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1975, 12 (DEC): : 117 - 122