- Referenced in 50 articles
- 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...
- Referenced in 292 articles
- BARON is a computational system for solving nonconvex...
- Referenced in 29 articles
- Algorithm 737: INTLIB - a portable Fortran 77 interval...
- Referenced in 418 articles
- SPSS is a computer program used for survey...
- Referenced in 32 articles
- The SLATEC Common Mathematical Subroutine Library is an...
- Referenced in 301 articles
- Rigorous global search: continuous problems The monograph gives...
- Referenced in 37 articles
- GlobSol: history, composition, and advice on use The...
- Referenced in 86 articles
- COSY is a system for the use of...
- Referenced in 46 articles
- Numerica: A modeling language for global optimization. Many...