• Global Optimization Toolbox For Maple

  • Referenced in 152 articles [sw00358]
  • arise from technical issues. In business, constraints are related to many factors, including cost, time ... global optimization is to find [numerically] the absolute best solution of highly nonlinear optimization models ... have a number of locally optimal solutions. Global optimization problems can be extremely difficult. Frequently ... expense of extra time, money, and resources, because the best solution has not been found...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated ... implication, in conjunction with new constraint operations such as constraint entailment and generalization. These combinators ... issues such as the definition of nonprimitive constraints and disjunctions to be tackled ... includes a WAM-based engine [44], optimal arc-consistency algorithms based...
  • Rast

  • Referenced in 1 article [sw41190]
  • Rast: a language for resource-aware session types. Traditional session types prescribe bidirectional communication protocols ... significant optimizations, and a heuristic extension to nonlinear constraints. Rast furthermore includes a reconstruction engine ... constructs pertaining the layers of refinements and resources are inserted automatically. We provide a variety...
  • BARON

  • Referenced in 357 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

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

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

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • DEA

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

  • Referenced in 11 articles [sw00265]
  • We describe FATCOP 2.0, a new parallel mixed...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LGO

  • Referenced in 96 articles [sw00516]
  • The program system LGO serves to solve global...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...