-
plfit
- Referenced in 267 articles
[sw23186]
- program fits power-law distributions to empirical (discrete or continuous) data, according to the method ... power law at all. We present a principled statistical framework for discerning and quantifying power ... behavior in empirical data. Our approach combines maximum-likelihood fitting methods with goodness...
-
PyMaxEnt
- Referenced in 1 article
[sw32597]
- software that implements the principle of maximum entropy to reconstruct functional distributions given a finite ... moments. The software supports both continuous and discrete reconstructions, and is very easy...
-
HELIOS
- Referenced in 1 article
[sw19398]
- because this fast reactor is compatible in principle with the Generation IV strategy and Slovakia ... discretization of the model cells. It shows a very high influence of the spatial discretization ... final results. The maximum effort was aimed at spatial discretization effect and its influence...
-
ADOL-C
- Referenced in 257 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
ALBERT
- Referenced in 83 articles
[sw00025]
- ALBERT - Software for scientific computations and applications. Adaptive...
-
ANSYS
- Referenced in 713 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
ATLAS
- Referenced in 199 articles
[sw00056]
- This paper describes the Automatically Tuned Linear Algebra...
-
CGAL
- Referenced in 402 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
CoCoA
- Referenced in 659 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1906 articles
[sw00161]
- Coq is a formal proof management system. It...
-
C-XSC
- Referenced in 110 articles
[sw00181]
- C-XSC. A programming environment for verified scientific...
-
FEMLAB
- Referenced in 57 articles
[sw00274]
- COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...
-
GAP
- Referenced in 3221 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
GeM
- Referenced in 100 articles
[sw00332]
- We present a recently developed Maple-based “GeM...
-
Gmsh
- Referenced in 783 articles
[sw00366]
- Gmsh is a 3D finite element grid generator...
-
HSL
- Referenced in 284 articles
[sw00418]
- HSL (formerly the Harwell Subroutine Library) is a...
-
hypre
- Referenced in 334 articles
[sw00426]
- hypre is a software library for the solution...
-
Isabelle
- Referenced in 719 articles
[sw00454]
- Isabelle is a generic proof assistant. It allows...
-
LAPACK
- Referenced in 1713 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...