Pages that link to "Item:Q750485"
From MaRDI portal
The following pages link to Moessnerian theorems. How to prove them by simple graph theoretical inspection (Q750485):
Displaying 5 items.
- 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)
- Adding up to Powers (Q3982583) (← links)
- On Moessner’s Theorem (Q4921852) (← links)