• 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 high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. 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 Scientific Computation (PETSc...
  • UCI-ml

  • 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...