Results 1 to 20 of 63
Sort by:

  • NNV
  • Referenced in 3 articles [sw32539]
  • over-approximate reachability analysis schemes for linear plant models and FFNN controllers with piecewise-linear ... have nonlinear plant models, NNV supports over-approximate analysis by combining the star set analysis...

  • Expokit
  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...

  • LAPACK
  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...

  • LEDA
  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

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

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

  • SageMath
  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...

  • ScaLAPACK
  • Referenced in 418 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...

  • SCOM
  • Referenced in 6 articles [sw00836]
  • Computing optimal control on MATLAB – the SCOM package...

  • VODE
  • Referenced in 207 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...

  • SCICONIC
  • Referenced in 30 articles [sw01087]
  • Operation optimization of power plants with the software...

  • SCIP
  • Referenced in 542 articles [sw01091]
  • SCIP is currently one of the fastest non...

  • TADD
  • Referenced in 7 articles [sw02821]
  • TADD: A computational framework for data analysis using...

  • DASSL
  • Referenced in 262 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of...

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

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

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

  • Gurobi
  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...

  • RODAS
  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...