• NLEIGS

  • Referenced in 23 articles [sw22547]
  • NLEIGS), is based on linear rational interpolation and generalizes the Newton rational Krylov method proposed ... A350]. NLEIGS utilizes a dynamically constructed rational interpolant of the nonlinear function $A(lambda ... This structure is particularly suited for the rational Krylov method. A new approach...
  • Algorithm 882

  • Referenced in 10 articles [sw10147]
  • Algorithm 882: Near-Best Fixed Pole Rational Interpolation with Applications in Spectral Methods. We present ... compute the nodes and weights in rational Gauss-Chebyshev quadrature formulas. Under certain conditions ... these nodes are near best for rational interpolation with prescribed poles (in the same sense ... layer using a rational spectral method. The algorithm to compute the interpolation points...
  • ffmodstd

  • Referenced in 5 articles [sw27228]
  • using modular methods and sparse multivariate rational interpolation, where the t_i are transcendental over ... using modular algorithms [1] and univariate rational interpolation [2,7]. The procedure is repeated ... applying the sparse multivariate rational interpolation algorithm from [4] coefficient-wise to the list ... following algorithms: univariate polynomial interpolation [2], univariate rational function reconstruction [7], and multivariate polynomial interpolation...
  • MPSolve

  • Referenced in 14 articles [sw05298]
  • matrix power series, interpolation problems, orthogonal polynomials and rational functions.Efficiency of the algorithms in terms...
  • RCIP

  • Referenced in 2 articles [sw10232]
  • scheme is based on a rational interpolation function. Not only the interpolation profile itself...
  • CSIsat

  • Referenced in 15 articles [sw11407]
  • CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic...
  • Spacer

  • Referenced in 7 articles [sw19496]
  • based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation ... applying QE lazily. We use existing interpolation techniques to over-approximate QE and introduce Model...
  • AperyAppx

  • Referenced in 3 articles [sw11564]
  • study Rational and approximations inspired by Apery’s Original Method. As described in:”Interpolation...
  • BPAS

  • Referenced in 8 articles [sw08399]
  • polynomial multiplication, multi-point evaluation and interpolation, real root isolation for both univariate and multivariate ... dense polynomials whose coefficients can be either rational numbers, or integer numbers or elements...
  • SNAKE

  • Referenced in 2 articles [sw21078]
  • Jakobsen} and {it L. R. Knudsen}, “The interpolation attack on block ciphers”, Fast Software Encryption ... number of coefficients in the polynomial (or rational expression) used in the attack by using ... rational expression) with fewest coefficients by choosing the plaintexts. par They apply this interpolation attack...
  • TUBA3

  • Referenced in 6 articles [sw06145]
  • Finite elements providing a $C^{1}$ continuous interpolation are useful in the numerical solution ... heuristic, rather than the result of a rational design to a predetermined set of desirable ... first constructed by requiring a polynomial interpolation and prescribing the geometry, the location...
  • PESC

  • Referenced in 5 articles [sw17860]
  • target objective. We take a bounded rationality approach and develop a partial update for PESC ... updates for PESC. This allows us to interpolate between versions of PESC that are efficient...
  • na8

  • Referenced in 4 articles [sw11513]
  • satisfied by the $L_2$ optimal rational transfer matrix approximating a given higher order transfer ... necessary conditions of optimality in terms of interpolation constraints and does not require gradient computations...
  • ADOL-C

  • Referenced in 212 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • AMD

  • Referenced in 50 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • BARON

  • Referenced in 294 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

  • Referenced in 585 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CSDP

  • Referenced in 189 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Expokit

  • Referenced in 164 articles [sw00258]
  • Expokit provides a set of routines aimed at...