
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 highlevel language and interactive...

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. 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, opensource math software...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

PETSc
 Referenced in 1212 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc 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]
 Normalboundary 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 conflictdriven answer set solver. clasp...