
COVIDCAPS
 Referenced in 4 articles
[sw41861]
 21st century. COVID19 is extremely contagious and quickly spreading globally making its early diagnosis ... cases. CNNs, however, are prone to lose spatial information between image instances and require large...

Davidson
 Referenced in 1 article
[sw13467]
 Davidson method for finding a few selected extreme eigenpairs of a large, sparse, real, symmetric ... binding potential in one, two or three spatial dimensions. The package contains the classes providing...

SensGru
 Referenced in 1 article
[sw28022]
 sensor nodes without compromising the advantages of spatial correlation. It makes use of temporalattribute ... rates as high as 100% and an extremely low false positive rate...

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

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

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

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

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

EVIM
 Referenced in 10 articles
[sw00255]
 EVIM: a software package for extremel value analysis...

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

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

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

LEDA
 Referenced in 263 articles
[sw00509]
 In the core computer science areas  data structures...

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

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

MATCONT
 Referenced in 443 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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

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

MiniSat
 Referenced in 566 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NAG
 Referenced in 423 articles
[sw00610]
 Produced by experts for use in a variety...