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

PDESpecialSolutions
 Referenced in 48 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...

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

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

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

na10
 Referenced in 38 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...

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

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

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

LOOK
 Referenced in 11 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 11 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...

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

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

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

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

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

PainleveTest
 Referenced in 9 articles
[sw12344]
 integrability test. The second package, PDESpecialSolutions.m, computes exact solutions expressible in hyperbolic or elliptic functions...