• BFComp

  • Referenced in 3 articles [sw18654]
  • computing BFs that appeal to a small-gain theorem, the BFComp framework can be used...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • CPLEX

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

  • Referenced in 488 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • YALMIP

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

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • LMI toolbox

  • Referenced in 1463 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have...
  • HQR3

  • Referenced in 49 articles [sw12997]
  • Algorithm 506: HQR3 and EXCHNG: Fortran Subroutines for...
  • TensorFlow

  • Referenced in 618 articles [sw15170]
  • TensorFlow™ is an open source software library for...
  • SCOTS

  • Referenced in 20 articles [sw20172]
  • SCOTS: a tool for the synthesis of symbolic...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • FAUST2 is a software tool that generates formal...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • StocHy: automated verification and synthesis of stochastic processes...
  • DGM

  • Referenced in 164 articles [sw39282]
  • DGM: a deep learning algorithm for solving partial...