
NLEIGS
 Referenced in 27 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: NearBest Fixed Pole Rational Interpolation with Applications in Spectral Methods. We present ... compute the nodes and weights in rational GaussChebyshev 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] coefficientwise 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 quantifierfree theory of rational linear arithmetic...

Spacer
 Referenced in 8 articles
[sw19496]
 based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation ... applying QE lazily. We use existing interpolation techniques to overapproximate 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, multipoint 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...

PESC
 Referenced in 6 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...

TUBA3
 Referenced in 7 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...

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

ADOLC
 Referenced in 220 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

BARON
 Referenced in 304 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 601 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

FFLASFFPACK
 Referenced in 20 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...