Dilworth
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Alternative Inductive Proof of Dilworth's Theorem
Computer Science > Discrete Mathematics [Submitted on 31 May 2026] Title:Alternative Inductive Proof of Dilworth's Theorem View PDF HTML (experimental)Abstract:Several elegant inductive proofs of Dilworth's theorem can be found in the literature. In this note, I present another inductive proof with an algorithmic flavor based on a merging lemma.