• 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 autoregressive-moving average models. This algorithm ... namely to compute the exact likelihood function of a stationary autoregressive-moving 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 linear-time 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...
  • ACRITH-XSC

  • 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 C-library 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 QUALEX-MS. Computational experiments indicate that the algorithm is exact on small graphs...
  • LinBox

  • Referenced in 32 articles [sw00522]
  • template library for exact, high-performance 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...