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 条
  • [1] On some Properties of Tribonacci Quaternions
    Akkus, Ilker
    Kizilaslan, Gonca
    ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, 2018, 26 (03): : 5 - 20
  • [2] SOME IDENTITIES FOR TRIBONACCI SEQUENCES
    PETHE, S
    FIBONACCI QUARTERLY, 1988, 26 (02): : 144 - 151
  • [3] Some Tribonacci identities Solution
    Bradie, Brian
    Fleischman, Dmitry
    Ohtsuka, Hideyuki
    FIBONACCI QUARTERLY, 2018, 56 (03): : 285 - 285
  • [4] Some properties of the Tribonacci sequence
    Tan, Bo
    Wen, Zhi-Ying
    EUROPEAN JOURNAL OF COMBINATORICS, 2007, 28 (06) : 1703 - 1719
  • [5] Some Tribonacci identities Proposal
    Hisert, George A.
    FIBONACCI QUARTERLY, 2018, 56 (03): : 285 - 285
  • [6] SOME CONJECTURES
    CAMPS, WA
    AMERICAN JOURNAL OF PHILOLOGY, 1980, 101 (04) : 442 - 446
  • [7] Comment On "On some Properties of Tribonacci Quaternion"
    Cerda-Morales, Gamaliel
    ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, 2020, 28 (01): : 95 - 97
  • [8] SOME REMARKS ON THE ZEROS OF TRIBONACCI POLYNOMIALS
    Kaymak, Oznur Oztunc
    INTERNATIONAL JOURNAL OF ANALYSIS AND APPLICATIONS, 2018, 16 (03): : 368 - 373
  • [9] On some conjectures of Askey
    Volkmer, H
    ASYMPTOTIC ANALYSIS, 2001, 27 (3-4) : 321 - 334
  • [10] On some conjectures of Graffiti
    Bollobas, B
    Riordan, O
    DISCRETE MATHEMATICS, 1998, 179 (1-3) : 223 - 230
12345