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 条
  • [21] In Search of Comrade Agronomof: Some Tribonacci History
    Tuenter, Hans J. H.
    AMERICAN MATHEMATICAL MONTHLY, 2023,
  • [22] Some algebraic and analytic properties of generalized tribonacci and generalized tribonacci-Lucas like polynomials
    Badidja, Salim
    Hamdi, Abdeldjabar
    ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2022, 15 (02)
  • [23] SOME CONJECTURES ON CYCLIC POLYMERS
    DEGENNES, PG
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE II, 1990, 310 (10): : 1327 - 1330
  • [24] On some conjectures of Griggs and Graffiti
    DeLaVina, E
    Fajtlowicz, S
    Waller, W
    Graphs and Discovery, 2005, 69 : 119 - 125
  • [25] SOME CONJECTURES FOR ROOT SYSTEMS
    MACDONALD, IG
    SIAM JOURNAL ON MATHEMATICAL ANALYSIS, 1982, 13 (06) : 988 - 1007
  • [26] SOME FIBONACCI-LUCAS-TRIBONACCI-LUCAS IDENTITIES
    Frontczak, Robert
    FIBONACCI QUARTERLY, 2018, 56 (03): : 263 - 274
  • [27] Some basic properties of a Tribonacci line-sequence
    Lee, JY
    APPLICATIONS OF FIBONACCI NUMBERS, VOL 9, 2004, : 145 - 157
  • [28] On some conjectures by Lu and Wenzel
    Ge, Jianquan
    Li, Fagui
    Lu, Zhiqin
    Zhou, Yi
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2020, 592 : 134 - 164
  • [29] HEDONIC CAPACITY - SOME CONJECTURES
    MEEHL, PE
    BULLETIN OF THE MENNINGER CLINIC, 1975, 39 (04) : 295 - 307
  • [30] On Tribonacci functions and Tribonacci numbers
    Parizi, Maryam Naderi
    Gordji, Madjid Eshaghi
    INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE, 2016, 11 (01): : 23 - 32
12345