
ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 122 articles
[sw00182]
 A C++ class library for extended scientific computing...

HOM4PS
 Referenced in 70 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

INTBIS
 Referenced in 31 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

KNITRO
 Referenced in 165 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

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

INTLAB
 Referenced in 407 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing...

CTDSX
 Referenced in 5 articles
[sw04620]
 CTDSXa collection of benchmark examples for state...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives...

COCONUT
 Referenced in 38 articles
[sw04760]
 The COCONUT Environment is a modular solver environment...

Ipopt
 Referenced in 589 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

mctoolbox
 Referenced in 1352 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

minpack
 Referenced in 677 articles
[sw05310]
 Notes on optimization software. This paper is an...

PNM
 Referenced in 34 articles
[sw05917]
 Introduction to precise numerical methods. With CDROM...

PNEW
 Referenced in 66 articles
[sw06157]
 Algorithm 811: NDA: algorithms for nondifferentiable optimization We...

ParLinSys
 Referenced in 19 articles
[sw06461]
 ParLinSys is a free module that supplements the...

libMC
 Referenced in 40 articles
[sw06615]
 ibMC is an open source software library for...

GlobSol
 Referenced in 38 articles
[sw06724]
 GlobSol: history, composition, and advice on use The...

alphaCertified
 Referenced in 37 articles
[sw07351]
 Algorithm 921: alphaCertified: Certifying solutions to polynomial systems...