• 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 high-level 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, open-source 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]
  • Low-level utilities common to many mathematical software...
  • CUDA

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