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