The following pages link to On Moessner’s Theorem (Q4921852):
Displaying 10 items.
- Moessnerian theorems. How to prove them by simple graph theoretical inspection (Q750485) (← links)
- On the Moore-Menger theorem (Q1917161) (← links)
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- Moessner's theorem: an exercise in coinductive reasoning in \textsc{Coq} (Q2026804) (← links)
- A characterization of Moessner's sieve (Q2253190) (← links)
- Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (Q2667184) (← links)
- (Q3744221) (← links)
- Adding up to Powers (Q3982583) (← links)
- (Q4336924) (← links)
- (Q5425784) (← links)