
RealPaver
 Referenced in 50 articles
[sw04401]
 usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers the solution ... along with modeling and solving problems. A mathematical modeling language and a set of benchmarks...

BARON
 Referenced in 292 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

INTLIB
 Referenced in 29 articles
[sw00444]
 Algorithm 737: INTLIB  a portable Fortran 77 interval...

SPSS
 Referenced in 418 articles
[sw04269]
 SPSS is a computer program used for survey...

Slatec
 Referenced in 32 articles
[sw04367]
 The SLATEC Common Mathematical Subroutine Library is an...

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

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

Cosy
 Referenced in 86 articles
[sw07711]
 COSY is a system for the use of...

Numerica
 Referenced in 46 articles
[sw21227]
 Numerica: A modeling language for global optimization. Many...