SOME TRIBONACCI CONJECTURES

被引：0
|
作者：
Shallit, Jeffrey [1 ]
机构：
[1] Univ Waterloo, Sch Comp Sci, Waterloo, ON N2L 3G1, Canada
来源：
FIBONACCI QUARTERLY | 2023年 / 61卷 / 03期
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In a recent talk of Robbert Fokkink, some conjectures related to the infinite Tribonacci word were stated by the speaker and the audience. In this note, we show how to prove (or disprove) the claims in a "purely mechanical" fashion, using the Walnut theorem prover.
引用
收藏
页码：214 / 221
页数：8
相关论文
共 50 条
  • [31] On Tribonacci functions and Tribonacci numbers
    Parizi, Maryam Naderi
    Gordji, Madjid Eshaghi
    INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE, 2016, 11 (01): : 23 - 32
  • [32] On some conjectures on biclique graphs☆
    Liang, Yanfang
    Wu, Baoyindureng
    DISCRETE APPLIED MATHEMATICS, 2024, 343 : 184 - 190
  • [33] Some results for some conjectures in addition chains
    Bahig, HM
    El-Zahar, MH
    Nakamula, K
    COMBINATORICS, COMPUTABILITY AND LOGIC, 2001, : 47 - 54
  • [34] SOME CONJECTURES IN COMPUTATIONAL LINGUISTICS
    FINDLER, NV
    LINGUISTICS, 1970, (64) : 5 - 9
  • [35] PROOFS OF SOME CONJECTURES ON PERMANENTS
    LIEB, EH
    JOURNAL OF MATHEMATICS AND MECHANICS, 1966, 16 (02): : 127 - &
  • [36] SOME LINEAR SYZYGY CONJECTURES
    EISENBUD, D
    KOH, J
    ADVANCES IN MATHEMATICS, 1991, 90 (01) : 47 - 76
  • [37] SOME FIBONACCI-LUCAS-TRIBONACCI-TETRANACCI IDENTITIES
    Agrawal, Garvita
    Teeth, Manjeet Singh
    JOURNAL OF RAJASTHAN ACADEMY OF PHYSICAL SCIENCES, 2023, 22 (3-4): : 271 - 277
  • [38] Tribonacci and Tribonacci-Lucas Sedenions
    Soykan, Yueksel
    MATHEMATICS, 2019, 7 (01):
  • [39] The Construction of the Selden Map: Some Conjectures
    Davies, Stephen
    IMAGO MUNDI-THE INTERNATIONAL JOURNAL FOR THE HISTORY OF CARTOGRAPHY, 2013, 65 (01): : 97 - +
  • [40] PROOF OF SOME CONJECTURES ON COHOMOLOGICAL DIMENSION
    AX, J
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 16 (06) : 1214 - +
12345