Table of Contents
Fetching ...

Axiomatic phylogenetics

Vladimir Turaev

TL;DR

This work uses the language of quivers to formulate a mathematical framework for phylogenetics that is compatible with prior work on EMT and phylogenetics.

Abstract

We use the language of quivers to formulate a mathematical framework for phylogenetics.

Axiomatic phylogenetics

TL;DR

This work uses the language of quivers to formulate a mathematical framework for phylogenetics that is compatible with prior work on EMT and phylogenetics.

Abstract

We use the language of quivers to formulate a mathematical framework for phylogenetics.

Paper Structure

This paper contains 45 sections, 23 theorems, 31 equations.

Key Result

Lemma 2.1

The relation $\leq$ is reflexive and transitive.

Theorems & Definitions (41)

  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Lemma 3.1
  • proof
  • Lemma 3.2
  • proof
  • Theorem 4.1
  • proof
  • ...and 31 more