• 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...