Cover Image

Computational support for case-heavy proofs in mathematical phylogenetics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Forte, Luca, van Iersel, Leo, Kelk, Steven, Meuwese, Ruben
Format:	Preprint
Published:	2025
Subjects:	Populations and Evolution
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A kernel for the maximum agreement forest problem on multiple binary phylogenetic trees
by: Kelk, Steven, et al.
Published: (2026)

Bounds on the sequence length sufficient to reconstruct binary level-$1$ phylogenetic networks under the CFN model
by: Frohn, Martin, et al.
Published: (2025)

Split-or-decompose: Improved FPT branching algorithms for maximum agreement forests
by: Mestel, David, et al.
Published: (2024)

Invariants for level-1 phylogenetic networks under the random walk 4-state Markov model
by: Frohn, M., et al.
Published: (2024)

Snakes and Ladders: a Treewidth Story
by: Chaplick, Steven, et al.
Published: (2023)

Metrics for classes of semi-binary phylogenetic networks using $μ$-representations
by: Reichling, Christopher, et al.
Published: (2024)

Embedding phylogenetic trees in networks of low treewidth
by: van Iersel, Leo, et al.
Published: (2022)

Reconstructing semi-directed level-1 networks using few quarnets
by: Frohn, Martin, et al.
Published: (2024)

A 2-approximation algorithm for the softwired parsimony problem on binary, tree-child phylogenetic networks
by: Frohn, Martin, et al.
Published: (2024)

Characterizing semi-directed phylogenetic networks and their multi-rootable variants
by: Holtgrefe, Niels, et al.
Published: (2025)

Coconvex characters on collections of phylogenetic trees
by: Czabarka, Eva, et al.
Published: (2025)

Fence decompositions and cherry covers in non-binary phylogenetic networks
by: Pons, Joan Carles, et al.
Published: (2024)

When are quarnets sufficient to reconstruct semi-directed phylogenetic networks?
by: Huber, Katharina T., et al.
Published: (2024)

Bounding the SNPR distance between two tree-child networks using generalised agreement forests
by: Kelk, Steven, et al.
Published: (2025)

A strengthened bound on the number of states required to characterize maximum parsimony distance
by: Fischer, Mareike, et al.
Published: (2025)

Solving the Tree Containment Problem Using Graph Neural Networks
by: Dushatskiy, Arkadiy, et al.
Published: (2024)

A Class of Unrooted Phylogenetic Networks Inspired by the Properties of Rooted Tree-Child Networks
by: van Iersel, Leo, et al.
Published: (2026)

Distinguishing Phylogenetic Level-2 Networks with Quartets and Inter-Taxon Quartet Distances
by: Holtgrefe, Niels, et al.
Published: (2025)

A Wild Sheep Chase Through an Orchard
by: Dempsey, Jordan, et al.
Published: (2024)

Sources of HIV infections among MSM with a migration background: a viral phylogenetic case study in Amsterdam, the Netherlands
by: Blenkinsop, Alexandra, et al.
Published: (2024)

Making mathematical online resources FAIR: at the example of small phylogenetic trees
by: Bacher, Tabea, et al.
Published: (2025)

A branch-&-price approach to the unrooted maximum agreement forest problem
by: Frohn, Martin, et al.
Published: (2024)

Computing algebraic degrees of phylogenetic varieties
by: Puente, Luis David Garcia, et al.
Published: (2022)

Structural properties of distance-bounded phylogenetic reconciliation
by: Antony, Cyriac, et al.
Published: (2026)

Bayesian inference of mixed Gaussian phylogenetic models
by: Brahmantio, Bayu, et al.
Published: (2024)

MyESL: Sparse learning in molecular evolution and phylogenetic analysis
by: Sanderford, Maxwell, et al.
Published: (2025)

On estimating the effective sample size of phylogenetic trees in an autocorrelated chain
by: Klawitter, Jonathan, et al.
Published: (2026)

Neutral phylogenetic models and their role in tree-based biodiversity measures
by: Steel, Mike
Published: (2024)

Tree balance in phylogenetic models
by: Kersting, Sophie J., et al.
Published: (2024)

DendroPy 5: a mature Python library for phylogenetic computing
by: Moreno, Matthew Andres, et al.
Published: (2024)

A consistent least-squares criterion for calibrating edge lengths in phylogenetic networks
by: Xu, Jingcheng, et al.
Published: (2024)

Optimizing chemoradiotherapy for malignant gliomas: a validated mathematical approach
by: Perales-Patón, Miguel, et al.
Published: (2025)

Branch length statistics in phylogenetic trees under constant-rate birth-death dynamics
by: Dieselhorst, Tobias, et al.
Published: (2024)

Counting cherry reduction sequences is counting linear extensions (in phylogenetic tree-child networks)
by: Coronado, Tomás M., et al.
Published: (2024)

Heat-tree: Cross-platform software for interactive and embeddable phylogenetic tree visualization and editing
by: Foster, Zachary S. L., et al.
Published: (2026)

Mapping the landscape of mathematical models for antimicrobial resistance: a scoping review
by: Schardong, Felipe, et al.
Published: (2026)

Bayesian mixture models for phylogenetic source attribution from consensus sequences and time since infection estimates
by: Blenkinsop, Alexandra, et al.
Published: (2023)

Sunlight-heated refugia protect frogs from chytridiomycosis: a mathematical modelling study
by: Miller, Claire M., et al.
Published: (2025)

Bounding the softwired parsimony score of a phylogenetic network
by: Döcker, Janosch, et al.
Published: (2024)

A $μ$-distance for semidirected orchard phylogenetic networks
by: Ribas, Gerard, et al.
Published: (2026)