• Miniball

  • Referenced in 38 articles [sw05179]
  • finding the smallest enclosing ball of balls with a fixed point on the boundary ... convex hull of a union of balls...
  • CGAL

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

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

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

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

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

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • SeDuMi

  • Referenced in 1175 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • PLCP

  • Referenced in 204 articles [sw04795]
  • The software contains some functions and drivers for...
  • PDCO

  • Referenced in 638 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • Qsplat

  • Referenced in 33 articles [sw07699]
  • The QSplat Multiresolution Point Rendering System. QSplat is...
  • LCF

  • Referenced in 157 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...