
spatstat
 Referenced in 143 articles
[sw04429]
 formal inference (such as chisquared tests) and model diagnostics (including simulation envelopes, residuals, residual...

Furstenberg topology
 Referenced in 1 article
[sw42009]
 infinitude of primes. This article gives a formal version of Furstenberg’s topological proof ... integers based on arithmetic progressions (or, equivalently, residue classes). Using some fairly obvious properties ... these (wellknown) facts are formally proven, including an explicit metric for the topology given...

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

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

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

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

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

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

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

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

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

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

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

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

NTL
 Referenced in 222 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

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

PARDISO
 Referenced in 295 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

PLTMG
 Referenced in 217 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...