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

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

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

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

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

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

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

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

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

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

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

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

SNOPT
 Referenced in 477 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 148 articles
[sw02961]
 Introduction to the ISO specification language LOTOS. LOTOS...

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

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

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

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

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