Displaying similar documents to “A generalization of Pascal’s triangle using powers of base numbers”

Polygonal Numbers

Adam Grabowski (2013)

Formalized Mathematics

Similarity:

In the article the formal characterization of triangular numbers (famous from [15] and words “EYPHKA! num = Δ+Δ+Δ”) [17] is given. Our primary aim was to formalize one of the items (#42) from Wiedijk’s Top 100 Mathematical Theorems list [33], namely that the sequence of sums of reciprocals of triangular numbers converges to 2. This Mizar representation was written in 2007. As the Mizar language evolved and attributes with arguments were implemented, we decided to extend these lines and...