
Knapsack
 Referenced in 391 articles
[sw04723]
 other algorithmic techniques for the exact solution. Computational results are presented to compare the actual...

PDESpecialSolutions
 Referenced in 53 articles
[sw12342]
 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Algorithms ... PDEs). New algorithms are given to find exact polynomial solutions of ODEs and PDEs ... package PDESpecialSolutions.m can be used to automatically compute new special solutions of nonlinear PDEs ... related algorithms and symbolic software to compute exact solutions of nonlinear differential equations...

Matchbox
 Referenced in 23 articles
[sw10115]
 rewriting. The program Matchbox implements the exact computation of the set of descendants...

DEVEX
 Referenced in 95 articles
[sw08378]
 positioned so exactly as its precise representation in the computer would imply, a wider choice...

Miniball
 Referenced in 32 articles
[sw05179]
 algorithms We develop algorithms for computing the exact smallest enclosing ball ... Welzl’s randomized lineartime algorithm for computing the ball spanned...

AS 197
 Referenced in 27 articles
[sw14121]
 fast algorithm for the exact likelihood of autoregressivemoving average models. This algorithm ... namely to compute the exact likelihood function of a stationary autoregressivemoving average process ... particularly for large p and q. The computer program described here is a combination...

insulate
 Referenced in 18 articles
[sw21729]
 exact computation of the topology of real algebraic curves. We consider the problem of computing...

GMRFLib
 Referenced in 198 articles
[sw06641]
 field, the authors emphasize the computational aspects, construct fast and reliable algorithms for MCMC inference ... online Clibrary for fast and exact simulation.par This is an ideal tool for researchers...

ACRITHXSC
 Referenced in 42 articles
[sw00015]
 machine number between the computed result and the exact solution. The exact dot product ... where appropriate. A complete sample program for computing continuous bounds on the solution...

PDERecursionOperator
 Referenced in 16 articles
[sw12345]
 integrability test. The second package, PDESpecialSolutions.m, computes exact solutions expressible in hyperbolic or elliptic functions...

na10
 Referenced in 41 articles
[sw11511]
 error analysis, guarantees that the computed approximations are the exact zeros of a “nearby” polynomial ... Fortran 77 implementation of our algorithm computed approximations to all the zeros within the relative...

ESOLID
 Referenced in 9 articles
[sw15824]
 Boolean operations using exact representations and exact computations throughout. The demands of exact computation require...

IML  Integer Matrix Library
 Referenced in 13 articles
[sw00440]
 source code which implements algorithms for computing exact solutions to dense systems of linear equations ... following functionality: Nonsingular rational system solving: compute the unique rational solution X to the system...

ProbLog
 Referenced in 58 articles
[sw06945]
 focusses on computing the success probability of a given query, either exactly or using various ... theoretic inference. ProbLog2 allows the user to compute marginal probabilities of any number of ground...

LOOK
 Referenced in 12 articles
[sw02276]
 discuss a new kernel design for geometric computation in the plane. It combines different kinds ... lazy evaluation scheme with the exact number types provided ... LEDA allowing for efficient and exact computation with rational and algebraic geometric objects...

ANF
 Referenced in 12 articles
[sw12276]
 than 700 times faster than the exact computation. This reduces the running time from nearly...

MixSim
 Referenced in 18 articles
[sw07914]
 other capabilities of MixSim, there are computing the exact overlap for Gaussian mixtures, simulating Gaussian...

ARVO
 Referenced in 14 articles
[sw00049]
 ARVO: A Fortran package for computing the solvent accessible surface area and the excluded volume ... important to have efficient and exact algorithms for computing the solvent accessible surface area ... Fortran package based on new exact analytical methods for computing volume and surface areas...

LinBox
 Referenced in 36 articles
[sw00522]
 template library for exact, highperformance linear algebra computation with dense, sparse, and structured matrices...

Maxima
 Referenced in 109 articles
[sw00560]
 yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision ... data in two and three dimensions. Computer algebra system...