
NLEIGS
 Referenced in 31 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...

AAA
 Referenced in 35 articles
[sw36858]
 representation of the rational approximant in barycentric form with interpolation at certain support points ... fitting, RKFIT, and other existing methods for rational approximation...

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

BPAS
 Referenced in 9 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...

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

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

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 8 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 5 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 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

CGAL
 Referenced in 384 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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