
treeOclock
 Referenced in 1 article
[sw38936]
 epidemiology, the computational complexity of the shortest path problem for these trees remained unsolved ... decades. In this paper, we settle this problem for the ranked nearest neighbour interchange operation ... varies from quadratic, which is the lowest possible complexity for this problem, to (mathbf ... phylogenetic tree rearrangement operation for which shortest paths, and hence the distance, can be computed...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CGAL
 Referenced in 370 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

DEA
 Referenced in 242 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Mathematica
 Referenced in 6090 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12640 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

QAPLIB
 Referenced in 222 articles
[sw00751]
 A collection of electronically available data instances for...

R
 Referenced in 8836 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1743 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1441 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

TSPLIB
 Referenced in 674 articles
[sw00983]
 TSPLIB is a library of sample instances for...

GRASP
 Referenced in 130 articles
[sw01094]
 Algorithm 754: Fortran subroutines for approximate solution of...

GraphBase
 Referenced in 123 articles
[sw01555]
 The Stanford GraphBase is a freely available collection...

TOPOS
 Referenced in 43 articles
[sw02206]
 TOPOS  A new constructive algorithm for nesting problems...

SINTEF
 Referenced in 36 articles
[sw02984]
 SINTEF has developed software libraries as part of...

BLAS
 Referenced in 490 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

CUDA
 Referenced in 1230 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...