
ExaGeoStat
 Referenced in 6 articles
[sw30062]
 complementary approach of evaluating the exact algebraic result by exploiting advances in solution algorithms ... distributedmemory systems), ExaGeoStat raises the game for statistical applications from climate and environmental science ... merger of largescale data analytics and extreme computing for geospatial statistical applications...

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

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

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

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

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

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

ZRAM
 Referenced in 38 articles
[sw01038]
 The parallel search bench ZRAM and its applications...

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

FreeFem++
 Referenced in 1117 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

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

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