
ANSYS
 Referenced in 647 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 305 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

Mathematica
 Referenced in 5714 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11547 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

REDUCE
 Referenced in 738 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SageMath
 Referenced in 1511 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

MACSYMA
 Referenced in 714 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

EnKF
 Referenced in 333 articles
[sw02066]
 EnKFThe Ensemble Kalman Filter The EnKF is...

SNOPT
 Referenced in 495 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

SLPIOR
 Referenced in 33 articles
[sw02553]
 SLPIOR is a model management system for...

LOTOS
 Referenced in 150 articles
[sw02961]
 Introduction to the ISO specification language LOTOS. LOTOS...

AVISPA
 Referenced in 81 articles
[sw03172]
 AVISPA (Automated Validation of Internet Security Protocols and...

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

SDPT3
 Referenced in 597 articles
[sw04009]
 This software is designed to solve conic programming...

UCIml
 Referenced in 2940 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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