Polygonal numbers

DOI10.2478/FORMA-2013-0012zbMATH Open1298.11029OpenAlexW4253418349WikidataQ60692751 ScholiaQ60692751MaRDI QIDQ467780FDOQ467780

Authors: 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

Recommendations

• Sums of Polygonal Numbers
• Multi-polygonal numbers
• On sums of three polygonal numbers
• On triangular numbers
• scientific article; zbMATH DE number 4067000

zbMATH Keywords

polygonal numberreciprocals of triangular numberstriangular number

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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?

Cited In (10)

• Elementary number theory problems. XII: Primes in arithmetic progression
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Ozanam's rule
• Special formulas involving polygonal numbers and Horadam numbers
• Title not available (Why is that?)
• Visual Sums of Integers in Polygonal Arrays
• Title not available (Why is that?)
• Elementary number theory problems. III
• Elementary number theory problems. VI

Uses Software

• Mizar
• OEIS

This page was built for publication: Polygonal numbers

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