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