W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17800| Tytuł: | Pascal’s Triangle and Lucas’s Theorem |
| Autorzy: | Ziobro, Rafał |
| Słowa kluczowe: | arithmetic triangle binomial coefficient Lucas theorem |
| Data wydania: | 2024 |
| Data dodania: | 10-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 235–245 |
| Abstrakt: | 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. |
| Afiliacja: | Department of Carbohydrate Technology and Cereal Processing, University of Agriculture, Kraków, Poland |
| URI: | http://hdl.handle.net/11320/17800 |
| DOI: | 10.2478/forma-2024-0020 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0001-9681-4380 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Pascals-Triangle-and-Lucass-Theorem.pdf | 283,08 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
