
CkC
 Referenced in 4 articles
[sw28199]
 coherence (consistency) and to perform extensions (inferences) of probabilistic models based on partial conditional lower ... upper probability assessments. Of course precise probabilistic models are included as special cases...

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

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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...

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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...

nauty
 Referenced in 571 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Octave
 Referenced in 293 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PARI/GP
 Referenced in 599 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

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

ROBETH
 Referenced in 43 articles
[sw00811]
 ROBETH is the program library for robust statistical...

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

SINGULAR
 Referenced in 1412 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

CONOPT
 Referenced in 164 articles
[sw02791]
 CONOPT is a generalized reducedgradient (GRG) algorithm...

CUDA
 Referenced in 1212 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...