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

PDESpecialSolutions
 Referenced in 52 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 22 articles
[sw10115]
 rewriting. The program Matchbox implements the exact computation of the set of descendants...

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

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...

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

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

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...

GMRFLib
 Referenced in 182 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...

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...

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...

IML  Integer Matrix Library
 Referenced in 12 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...

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

ProbLog
 Referenced in 51 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...

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 33 articles
[sw00522]
 template library for exact, highperformance linear algebra computation with dense, sparse, and structured matrices...

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

QUALEX
 Referenced in 42 articles
[sw04742]
 package QUALEXMS. Computational experiments indicate that the algorithm is exact on small graphs...