Pascal's Triangle and Lucas's Theorem

被引：0
|
作者：
Ziobro, Rafal [1 ]
机构：
[1] Univ Agr, Dept Carbohydrate Technol & Cereal Proc, Krakow, Poland
来源：
FORMALIZED MATHEMATICS | 2024年 / 32卷 / 01期
关键词：
arithmetic triangle; binomial coefficient; Lucas theorem;
D O I：
10.2478/forma-2024-0020
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this article we construct formally the Pascal's triangle using Mizar proof assistant. Using the same techniques, we show some similar constructions based on integer sequences. We also prove Lucas's theorem providing useful registrations of clusters to enable more automation in calculations.
引用
收藏
页码：235 / 245
页数：11
相关论文
共 50 条
  • [21] An extension of Pascal's theorem
    Rupp, Charles A.
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1929, 31 (1-4) : 580 - 594
  • [22] THE BINOMIAL THEOREM AND THE EXTENDED PASCAL TRIANGLE
    FJELSTAD, P
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1991, 21 (09) : 11 - 17
  • [23] On determinants of matrices related to Pascal's triangle
    Mereb, Martin
    PERIODICA MATHEMATICA HUNGARICA, 2024, 89 (01) : 168 - 174
  • [24] Unimodal rays of the generalized Pascal's triangle
    Su, Xun-Tuan
    Zhang, Wei-Wei
    ARS COMBINATORIA, 2013, 108 : 289 - 296
  • [25] On p-adic complementary theorems between Pascal's triangle and the modified Pascal triangle
    Ando, S
    Sato, D
    FIBONACCI QUARTERLY, 2000, 38 (03): : 194 - 200
  • [26] On digital sequences associated with Pascal’s triangle
    Pierre Mathonet
    Michel Rigo
    Manon Stipulanti
    Naïm Zénaïdi
    Aequationes mathematicae, 2023, 97 : 391 - 423
  • [27] Signal approximation with Pascal's triangle and sampling
    Chen, Lei
    Yu, Xinghuo
    Lu, Jinhu
    PROCEEDINGS OF THE 32ND 2020 CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2020), 2020, : 1571 - 1575
  • [28] Investigating Catalan numbers with Pascal's triangle
    Hong, Dae S.
    INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2022, 53 (06) : 1683 - 1687
  • [29] THE PLANAR ROOK ALGEBRA AND PASCAL'S TRIANGLE
    Flath, Daniel
    Halverson, Tom
    Herbig, Kathryn
    ENSEIGNEMENT MATHEMATIQUE, 2009, 55 (1-2): : 77 - 92
  • [30] On digital sequences associated with Pascal's triangle
    Mathonet, Pierre
    Rigo, Michel
    Stipulanti, Manon
    Zenaidi, Naim
    AEQUATIONES MATHEMATICAE, 2023, 97 (02) : 391 - 423
12345