Paper Info
Title
Result verification, code verification and computation of support values in phylogenetics.
Abstract
Verification in phylogenetics represents an extremely difficult subject. Phylogenetic analysis deals with the reconstruction of evolutionary histories of species, and as long as mankind is not able to travel in time, it will not be possible to verify deep evolutionary histories reconstructed with modern computational methods. Here, we focus on two more tangible issues that are related to verification in phylogenetics (i) the inference of support values on trees that provide some notion about the 'correctness' of the tree within narrow limits and, more importantly; (ii) issues pertaining to program verification, especially with respect to codes that rely heavily on floating-point arithmetics. Program verification represents a largely underestimated problem in computational science that can have fatal effects on scientific conclusions.
Year
DOI
Venue
2011
10.1093/bib/bbq079
BRIEFINGS IN BIOINFORMATICS
Keywords
Field
DocType
phylogenetics,support values,program verification,maximum likelihood,bootstrap,software bug
Phylogenetic tree,Inference,Computer science,Software bug,Correctness,Theoretical computer science,Software,Bioinformatics,Phylogenetics,Bootstrapping (electronics),Computation
Journal
Volume
Issue
ISSN
12
3
1467-5463
Citations 
PageRank 
References 
2
0.39
14
Authors
2
Name
Order
Citations
PageRank
Alexandros Stamatakis199596.27
Fernando Izquierdo-Carrasco2395.31