The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Heron's Formula from a 4-Dimensional Perspective”

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...

A generalization of Pascal’s triangle using powers of base numbers

Gábor Kallós (2006)

Annales mathématiques Blaise Pascal

Similarity:

In this paper we generalize the Pascal triangle and examine the connections among the generalized triangles and powering integers respectively polynomials. We emphasize the relationship between the new triangles and the Pascal pyramids, moreover we present connections with the binomial and multinomial theorems.