On subnomials

DOI10.1515/FORMA-2016-0022zbMATH Open1357.11021OpenAlexW4242652785MaRDI QIDQ520384FDOQ520384

Rafał Ziobro

Publication date: 3 April 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0022

Recommendations

• Some remarkable identities involving numbers
• The Art of Proving Binomial Identities
• Combinatorial sums and finite differences
• Mathematical induction and the sums of powers of integers
• Subsequences of Fibonacci and Lucas polynomials with geometric subscripts

zbMATH Keywords

polynomialsbinomial formulageometrical progression

Mathematics Subject Classification ID

Polynomials in number theory (11C08) Mechanization of proofs and logical operations (03B35) Binomial coefficients; factorials; (q)-identities (11B65)

Cites Work

• Semantics of MML query -- ordering
• Factors of alternating binomial sums
• Some irreducibility results for truncated binomial expansions

Cited In (2)

• Concatenation of finite sequences
• Diophantine sets. II

This page was built for publication: On subnomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q520384)