Abstract
Three elegant proofs and an efficient algorithm are derived. The derivations evolve smoothly from the choice to apply mathematical induction, the pattern of reasoning that has been chosen as the Leitmotiv for this small collection. The last proof is the by-product of the algorithm.
| Original language | English |
|---|---|
| Pages (from-to) | 1-8 |
| Number of pages | 8 |
| Journal | Acta Informatica |
| Volume | 13 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 1980 |