
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 SATsolver. MiniSat is a minimalistic...

NTL
 Referenced in 220 articles
[sw00638]
 NTL is a highperformance, 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 largescale 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...

UCIml
 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...