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

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

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

AUTO
 Referenced in 958 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

AMBER
 Referenced in 57 articles
[sw01333]
 AmberTools is a set of programs for biomolecular...

AMPL
 Referenced in 622 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

SDPT3
 Referenced in 707 articles
[sw04009]
 This software is designed to solve conic programming...

PETSc
 Referenced in 1594 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

UCIml
 Referenced in 3444 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

CPLEX
 Referenced in 2804 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

RODAS
 Referenced in 1757 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

CSPLib
 Referenced in 93 articles
[sw04150]
 CSPLib is a library of test problems for...

ABAQUS
 Referenced in 1616 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

FLUENT
 Referenced in 447 articles
[sw04263]
 FLUENT is a Computational Fluid Dynamics (CFD) code...

Walksat
 Referenced in 211 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Uppaal
 Referenced in 658 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...