• nncontroller

  • Referenced in 1 article [sw39887]
  • Learning safe neural network controllers with barrier certificates. We provide a new approach to synthesize ... certify the safety property we utilize barrier functions, which are represented by NNs as well...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • Maple

  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • QEPCAD

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

  • Referenced in 9832 articles [sw00771]
  • R is a language and environment for statistical...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Sostools

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

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

  • Referenced in 211 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • BLAS

  • Referenced in 496 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • SPIN

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

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

  • Referenced in 471 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • SDPT3

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

  • Referenced in 602 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization...
  • MIPLIB

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