• OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • SDPA

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

  • Referenced in 82 articles [sw03321]
  • Software for Low Density Parity Check Codes This...
  • 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...
  • CPLEX

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

  • Referenced in 74 articles [sw04342]
  • HOPDM is a package for solving large scale...
  • LINDO

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • CVX

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

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mosek

  • Referenced in 493 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • PCx

  • Referenced in 48 articles [sw04721]
  • PCx: An interior-point code for linear programming...
  • tn

  • Referenced in 140 articles [sw05140]
  • Newton-type minimization via the Lanczos method This...
  • DISCRETA

  • Referenced in 32 articles [sw05937]
  • A program to constructt-designs with prescribed automorphism...
  • SciPy

  • Referenced in 775 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • NumPy

  • Referenced in 555 articles [sw06294]
  • NumPy is the fundamental package for scientific computing...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • GRAPE

  • Referenced in 91 articles [sw07516]
  • GRAPE is a GAP package for computing with...
  • GUAVA

  • Referenced in 22 articles [sw07729]
  • GUAVA is a GAP package for computing with...