
MUMPS
 Referenced in 502 articles
[sw04013]
 matrices; general unsymmetric matrices; Version for complex arithmetic; Parallel factorization and solve phases (uniprocessor version ... analysis; Various matrix input formats assembled format; distributed assembled format; elemental format; Partial factorization...

MPFR
 Referenced in 226 articles
[sw03312]
 floatingpoint arithmetic (53bit significand). MPFR is free. It is distributed under...

gmp
 Referenced in 282 articles
[sw00363]
 achieved by using fullwords as the basic arithmetic type, by using fast algorithms, with highly ... release about once a year. GMP is distributed under the GNU LGPL. This license makes...

TRLan
 Referenced in 68 articles
[sw04029]
 single address space machine or a distributed parallel machine. The user can choose to implement ... form convenient. Most of the arithmetic computations in the software are done through calls...

HPL
 Referenced in 9 articles
[sw21404]
 HighPerformance Linpack Benchmark for DistributedMemory Computers. HPL is a software package that solves ... system in double precision (64 bits) arithmetic on distributedmemory computers. It can thus...

AOA
 Referenced in 8 articles
[sw41903]
 that utilizes the distribution behavior of the main arithmetic operators in mathematics including (Multiplication...

GMRES
 Referenced in 16 articles
[sw00365]
 double precision arithmetics suitable for serial, shared memory and distributed memory computers. For the sake...

FGMRES
 Referenced in 19 articles
[sw04415]
 double precision arithmetics suitable for serial, sharedmemory, and distributedmemory computers. For the sake...

Risa/Asir
 Referenced in 115 articles
[sw00806]
 which performs basic algebraic operations, such as arithmetic operations, to algebraic objects, e.g., numbers ... component (the memory manager), a free software distributed by Boehm (gc6.1alpha5...

PaCAL
 Referenced in 7 articles
[sw09496]
 package is capable of performing the four arithmetic operations: addition, subtraction, multiplication and division ... generation, plots, and histograms of the resulting distributions can easily be obtained and distribution parameter ... arbitrary arithmetic operations on random variables following practically any probability distribution encountered in practice...

NEDA
 Referenced in 2 articles
[sw03493]
 Distributed Arithmetic (NEDA) completes multiply/accumulate by an adder only and achieves excellent performance in terms...

DifferentialEquations.jl
 Referenced in 55 articles
[sw23910]
 defined number systems for highprecision and arithmetic with physical units, builtin multithreading ... easy way for researchers to develop and distribute their own methods. Together, these features build...

SPECTRA
 Referenced in 8 articles
[sw17619]
 inequalities in exact arithmetic, This document briefly describes our freely distributed Maple library spectra ... solves linear matrix inequalities in exact arithmetic and it is targeted to smallsize, possibly...

FOXBOX
 Referenced in 16 articles
[sw00307]
 also can compute the standard sparse distributed representation of a black box polynomial, for example ... underlying field and polynomial arithmetic. Multiple ... arithmetic plugins can be used in the same computation. FOXBOX provides an MPI compliant distribution...

KS1SidedOneSample
 Referenced in 3 articles
[sw25654]
 Sample KS Cumulative Sampling Distribution. Efficient rational arithmetic methods that can exactly evaluate...

UCLID
 Referenced in 25 articles
[sw04657]
 uninterpreted functions and equality, integer linear arithmetic, and arrays. UCLID can also handle limited forms ... analyzing software for security exploits, and verifying distributed algorithms...

RAMAS Risk Calc
 Referenced in 19 articles
[sw09590]
 Calc supports probability bounds analysis, standard fuzzy arithmetic, and classical interval analysis. Its applications ... specify precise details of statistical distributions and their dependency relationships when empirical data are lacking...

Adlib
 Referenced in 1 article
[sw36123]
 Adlib: A distributed array library to support HPF translation. The Adlib runtime library was initially ... Fortran 90 transformational intrinsics for arithmetic on distributed arrays. It also provides some collective gather/scatter...

MPC
 Referenced in 14 articles
[sw07251]
 library for the arithmetic of complex numbers with arbitrarily high precision and correct rounding ... same principles as GNU MPFR. It is distributed under the GNU Lesser General Public License...

Cephes
 Referenced in 17 articles
[sw11654]
 sparc processors. This is the most complete distribution package of the function library ... class for the binary floating point arithmetic and a qtype calculator program; c9xcomplex...