1 paper
Luca Forte, Leo van Iersel, Steven Kelk +1
In this note we demonstrate that a number of case-heavy combinatorial proofs in the mathematical phylogenetics literature can be proven more compactly using computational support.…