• rDecode

• Referenced in 1 article [sw38627]
• portfolio selection (see Pun (2018) ) and large precision matrix estimation and sparse...

• Alors

• Referenced in 1 article [sw19071]
• make the best out of algorithm portfolios. This paper presents a collaborative filtering approach ... problem instances, whereas CF can exploit a sparse matrix, with a few algorithms launched...

• BARON

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

• BPMPD

• Referenced in 41 articles [sw00088]
• BPMPD is a state-of-the-art implementation...

• CGAL

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

• Coq

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

• EIGIFP

• Referenced in 46 articles [sw00235]
• eigifp is a MATLAB program for computing a...

• KNITRO

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

• LANCELOT

• Referenced in 306 articles [sw00500]
• LANCELOT. A Fortran package for large-scale nonlinear...

• LAPACK

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

• Maple

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

• Mathematica

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

• Matlab

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

• MiniSat

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

• NAG

• Referenced in 423 articles [sw00610]
• Produced by experts for use in a variety...

• PCOMP

• Referenced in 21 articles [sw00688]
• Algorithm 746: PCOMP: A Fortran code for automatic...

• R

• Referenced in 9969 articles [sw00771]
• R is a language and environment for statistical...

• REDUCE

• Referenced in 746 articles [sw00789]
• REDUCE is an interactive system for general algebraic...

• SINGULAR

• Referenced in 1508 articles [sw00866]
• SINGULAR is a Computer Algebra system (CAS) for...

• SPRNG

• Referenced in 48 articles [sw00905]
• Algorithm 806: SPRNG: A Scalable Library for Pseudorandom...