TY  - RPRT
TI  - Computational support for case-heavy proofs in mathematical phylogenetics
AU  - Luca Forte
AU  - Leo van Iersel
AU  - Steven Kelk
AU  - Ruben Meuwese
PY  - 2025
UR  - https://arxiv.org/abs/2512.16691
ID  - 2512.16691
ER  -