On subnomials

DOI10.1515/forma-2016-0022zbMath1357.11021OpenAlexW4242652785MaRDI QIDQ520384

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

zbMATH Keywords

polynomialsbinomial formulageometrical progression

Mathematics Subject Classification ID

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

Related Items (2)

Concatenation of finite sequences ⋮ Diophantine sets. II

Cites Work

• Some irreducibility results for truncated binomial expansions
• Factors of alternating binomial sums
• Semantics of MML Query - Ordering

This page was built for publication: On subnomials