• EpiSimdemics

  • Referenced in 7 articles [sw36952]
  • targeted at policy planning and course of action analysis, demonstrating the usefulness of EpiSimdemics...
  • CyGraph

  • Referenced in 1 article [sw22314]
  • among mission requirements and network assets, for analysis in the context of mission assurance ... known vulnerability paths and suggests best courses of action for responding to attacks. For postattack...
  • VEE Pro

  • Referenced in 1 article [sw19090]
  • process and quality control, and industrial data analysis and management systems.par This book introduces ... power and flexibility of VEE Pro in action in special labs of increasing complexity based ... course as a whole. If you use VEE Pro for design or data analysis...
  • CoCoA

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LAPACK

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

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

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

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

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

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

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

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • PETSc

  • Referenced in 1212 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • CPLEX

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

  • Referenced in 533 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • fda (R)

  • Referenced in 1363 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • NBI

  • Referenced in 198 articles [sw05075]
  • Normal-boundary intersection: A new method for generating...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • clasp

  • Referenced in 92 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...