
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 highlevel 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 generalpurpose 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: PrimalDual 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...

ElemStatLearn
 Referenced in 1288 articles
[sw11049]
 R package ElemStatLearn: Data sets, functions and examples...