• CGAL

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

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

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

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

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

  • Referenced in 226 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • R

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

  • Referenced in 743 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

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

  • Referenced in 279 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • UMFPACK

  • Referenced in 393 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • PRISM

  • Referenced in 434 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • FreeFem++

  • Referenced in 1246 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • SNOPT

  • Referenced in 532 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • SeDuMi

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

  • Referenced in 673 articles [sw04009]
  • This software is designed to solve conic programming...
  • CPLEX

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

  • Referenced in 610 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • PITCON

  • Referenced in 259 articles [sw04244]
  • Algorithm 596: Methods for solving systems of nonlinear...