• AdTree

  • Referenced in 1 article [sw39843]
  • scanning is an effective tool for acquiring geometric attributes of trees and vegetation, which lays ... minimum spanning tree using the Dijkstra shortest-path algorithm. Then, the initial tree skeleton...
  • Spanner

  • Referenced in 1 article [sw22838]
  • Visualization of Spanners: A geometric spanner network for a set of points is a graph ... short’” path. What does this mean? The Euclidean length of any path in G between ... that a path between p and q is ”short” if its length is no more ... Hence, the detour when following this path is not too ”big”. To define this notion...
  • CWave

  • Referenced in 0 articles [sw31695]
  • shortest path between two vertices on a grid. Single-source path planning is a modified ... performance algorithm for single-source any-angle path planning on a grid that we named ... path planning algorithm implies that such algorithm can find paths which may include any angle ... connected graph, the path can turn with 45°-increments only. The key idea...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LGS

  • Referenced in 15 articles [sw00517]
  • In the paper we present LGS -- a geometric...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • GraphBase

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