List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Pascal's triangle and Lucas's theorem Formalized Mathematics | 2025-06-30 | Paper |
| Elementary number theory problems. XIII Formalized Mathematics | 2024-10-29 | Paper |
| Multiplication-related classes of complex numbers Formalized Mathematics | 2022-03-14 | Paper |
| Parity as a property of integers Formalized Mathematics | 2019-07-10 | Paper |
| Arithmetic operations on short finite sequences Formalized Mathematics | 2019-07-10 | Paper |
| Concatenation of finite sequences Formalized Mathematics | 2019-05-24 | Paper |
| On subnomials Formalized Mathematics | 2017-04-03 | Paper |
| Prime factorization of sums and differences of two like powers Formalized Mathematics | 2017-03-15 | Paper |
| Fermat's little theorem via divisibility of Newton's binomial Formalized Mathematics | 2015-10-07 | Paper |
| Some remarkable identities involving numbers Formalized Mathematics | 2015-05-12 | Paper |
Research outcomes over time
This page was built for person: Rafał Ziobro
