• Knapsack

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

  • Referenced in 63 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...
  • DiffSharp

  • Referenced in 60 articles [sw16033]
  • functional automatic differentiation (AD) library. AD allows exact and efficient calculation of derivatives, by systematically ... level, meaning that you can compute exact higher-order derivatives or differentiate functions that ... their work at the Brain and Computation Lab, Hamilton Institute, National University of Ireland Maynooth...
  • RODES

  • Referenced in 124 articles [sw30194]
  • multiprocessorprogram. As we pointed out earlier, the computations are performed in intervalarithmetic with directed rounding ... precision, which converts exactly according o the IEEE standard. The computers employed for the task...
  • Miniball

  • Referenced in 43 articles [sw05179]
  • algorithms We develop algorithms for computing the exact smallest enclosing ball ... Welzl’s randomized linear-time algorithm for computing the ball spanned...
  • GMRFLib

  • Referenced in 309 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...
  • PDERecursionOperator

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

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

  • Referenced in 24 articles [sw21729]
  • exact computation of the topology of real algebraic curves. We consider the problem of computing...
  • PESTO

  • Referenced in 34 articles [sw20864]
  • algorithms just as you would implement them: Exact worst-case performance of first-order methods ... optimization. We provide a framework for computing the exact worst-case performance of any algorithm ... case. We achieve this by reducing the computation of the worst-case to solving...
  • DEVEX

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

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

  • Referenced in 99 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...
  • 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...
  • ACRITH-XSC

  • Referenced in 49 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 50 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 11 articles [sw15824]
  • Boolean operations using exact representations and exact computations throughout. The demands of exact computation require...
  • IML - Integer Matrix Library

  • Referenced in 16 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...
  • Maxima

  • Referenced in 169 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...
  • NURBS

  • Referenced in 24 articles [sw02633]
  • define the geometry of the computational domain, exact CAD description is considered here. Following...