On Moessner's theorem

DOI10.4169/AMER.MATH.MONTHLY.120.02.131MaRDI QIDQ4921852zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Dexter Kozen, Alexandra Silva

Publication date 28 May 2013

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/111198

zbMATH Keywords

integer sequencesLong's theoremMoessner's theoremPaasche's theorempower series

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Sequences and sets (11B99) Formal power series rings (13F25) Computational aspects and applications of commutative rings (13P99)

Recommendations

• Moessnerian theorems. How to prove them by simple graph theoretical inspection
• Adding up to Powers
• scientific article; zbMATH DE number 7695
• A characterization of Moessner's sieve
• A proof of Moessner's theorem by coinduction

Cited in

(10)

• On the Moore-Menger theorem
• A proof of Moessner's theorem by coinduction
• Moessner's theorem: an exercise in coinductive reasoning in \textsc{Coq}
• A characterization of Moessner's sieve
• Formalizing Moessner's theorem and generalizations in \textsc{Nuprl}
• scientific article; zbMATH DE number 3979145 (Why is no real title available?)
• Adding up to Powers
• scientific article; zbMATH DE number 1009664 (Why is no real title available?)
• scientific article; zbMATH DE number 5211903 (Why is no real title available?)
• Moessnerian theorems. How to prove them by simple graph theoretical inspection

This page was built for publication: On Moessner's theorem

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