• Coq

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

• GNT

• Referenced in 22 articles [sw00367]
• GnT is an experimental implementation of the stable...

• MiniSat

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

• NTL

• Referenced in 220 articles [sw00638]
• NTL is a high-performance, portable C++ library...

• PROFIL/BIAS

• Referenced in 134 articles [sw00733]
• PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

• R

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

• SCIP

• Referenced in 536 articles [sw01091]
• SCIP is currently one of the fastest non...

• SNOPT

• Referenced in 543 articles [sw02300]
• SNOPT: An SQP algorithm for large-scale constrained...

• ABACUS

• Referenced in 116 articles [sw02948]
• ABACUS is a software system written in C...

• AMPL

• Referenced in 617 articles [sw04001]
• AMPL is a comprehensive and powerful algebraic modeling...

• SeDuMi

• Referenced in 1272 articles [sw04002]
• SeDuMi is a Matlab toolbox for solving optimization...

• MIPLIB

• Referenced in 328 articles [sw04067]
• A mixed integer (linear) program (mip) is an...

• UCI-ml

• Referenced in 3379 articles [sw04074]
• UC Irvine Machine Learning Repository. We currently maintain...

• CPLEX

• Referenced in 2766 articles [sw04082]
• IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

• Gurobi

• Referenced in 679 articles [sw04105]
• GUROBI OPTIMIZER: State of the Art Mathematical Programming...

• quantreg

• Referenced in 160 articles [sw04356]
• R package quantreg: Quantile Regression. Estimation and inference...

• CVX

• Referenced in 832 articles [sw04594]
• CVX is a modeling system for constructing and...

• Isar

• Referenced in 144 articles [sw04599]
• Theorem proving system supporting both interactive proof development...

• Smodels

• Referenced in 239 articles [sw04631]
• The Smodels system is an Answer Set Programming...

• Mizar

• Referenced in 505 articles [sw04704]
• The Mizar System is the only implementation of...