• PaladinRM

  • Referenced in 1 article [sw07466]
  • designer with a critical feedback on the feasibility of system architecture, and make suggestions ... systems engineer to gather and integrate subsystems and to ensure ensure that every project engineer...
  • L2CXFT

  • Referenced in 9 articles [sw00498]
  • A Fortran subroutine applies the method of {\itI...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

  • Referenced in 740 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SCIP

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

  • Referenced in 9 articles [sw01619]
  • In most real-world reasoning problems, planning and...
  • UCI-ml

  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Netlib

  • Referenced in 67 articles [sw04368]
  • The Netlib repository contains freely available software, documents...
  • YALMIP

  • Referenced in 937 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • LMI toolbox

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

  • Referenced in 143 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs...
  • FFCA

  • Referenced in 4 articles [sw17351]
  • Ffca: a feasibility-based method for flux coupling...