
CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

AUTO
 Referenced in 887 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

SDPA
 Referenced in 175 articles
[sw03275]
 SDPA (SemiDefinite Programming Algorithm)” is one of the...

SPIN
 Referenced in 712 articles
[sw03455]
 Spin is a popular opensource software tool...

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

SDPT3
 Referenced in 644 articles
[sw04009]
 This software is designed to solve conic programming...

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

UCIml
 Referenced in 3111 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

AUTO86
 Referenced in 275 articles
[sw04220]
 AUTO is a software for continuation and bifurcation...

deSolve
 Referenced in 53 articles
[sw04499]
 R package deSolve: General solvers for initial value...

SDPARA
 Referenced in 18 articles
[sw07707]
 Algorithm 925: Parallel Solver for Semidefinite Programming Problem...

Rcplex
 Referenced in 4 articles
[sw08167]
 Rcplex: R interface to CPLEX. R interface to...

Z
 Referenced in 278 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book...

diffEq
 Referenced in 36 articles
[sw11101]
 diffEq: Functions from the book Solving Differential Equations...

ALGOL 60
 Referenced in 663 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...