Polygonal numbers

DOI10.2478/FORMA-2013-0012zbMath1298.11029OpenAlexW4253418349WikidataQ60692751 ScholiaQ60692751MaRDI QIDQ467780

Adam Grabowski

Publication date: 5 November 2014

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

Full work available at URL: https://doi.org/10.2478/forma-2013-0012

zbMATH Keywords

polygonal numberreciprocals of triangular numberstriangular number

Mathematics Subject Classification ID

Sums of squares and representations by other particular quadratic forms (11E25) Mechanization of proofs and logical operations (03B35) Representation problems (11D85)

Uses Software

• Mizar
• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Formalizing Arrow's theorem
• Analysis of Algorithms: An Example of a Sort Algorithm
• Operations of Points on Elliptic Curve in Projective Coordinates
• Every Number is Expressible as the Sum of How Many Polygonal Numbers?

This page was built for publication: Polygonal numbers