• Apron

• Referenced in 69 articles [sw00045]
• Apron: a library of numerical abstract domains for...

• Coq

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

• CSDP

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

• GAP

• Referenced in 3189 articles [sw00320]
• GAP is a system for computational discrete algebra...

• PSPLIB

• Referenced in 269 articles [sw00740]
• PSPLIB -- a project scheduling problem library. We present...

• QEPCAD

• Referenced in 283 articles [sw00752]
• QEPCAD B: A program for computing with semi...

• AUTO

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

• PRISM

• Referenced in 442 articles [sw01186]
• PRISM: Probabilistic symbolic model checker. In this paper...

• ML

• Referenced in 522 articles [sw01218]
• ML (’Meta Language’) is a general-purpose functional...

• Kronos

• Referenced in 273 articles [sw01270]
• KRONOS is a tool developed with the aim...

• ASSAT

• Referenced in 175 articles [sw02524]
• ASSAT (Answer Sets by SAT solvers) is a...

• SDPA

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

• SPIN

• Referenced in 723 articles [sw03455]
• Spin is a popular open-source software tool...

• PVS

• Referenced in 629 articles [sw03484]
• PVS is a verification system: that is, a...

• Haskell

• Referenced in 880 articles [sw03521]
• Haskell is a standardized, general-purpose purely functional...

• SeDuMi

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

• SDPT3

• Referenced in 703 articles [sw04009]
• This software is designed to solve conic programming...

• MIPLIB

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

• UCI-ml

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

• AUTO-86

• Referenced in 277 articles [sw04220]
• AUTO is a software for continuation and bifurcation...