
SparseBSOS
 Referenced in 14 articles
[sw31772]
 When the sparsity pattern satisfies the running intersection property this SparseBSOS hierarchy of semidefinite...

Bolasso
 Referenced in 29 articles
[sw31649]
 show that this property implies that if we run the Lasso for several bootstrapped replications ... given sample, then intersecting the supports of the Lasso bootstrap estimates leads to consistent model...

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

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

Isabelle
 Referenced in 710 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1701 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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

Plural
 Referenced in 86 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

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

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

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

Graphviz
 Referenced in 90 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...

CLEAN
 Referenced in 58 articles
[sw01346]
 Clean is a functional language based on Term...