
AAA
 Referenced in 46 articles
[sw36858]
 algorithm for rational approximation. We introduce a new algorithm for approximation by rational functions ... ideas are (1) representation of the rational approximant in barycentric form with interpolation at certain ... RKFIT, and other existing methods for rational approximation...

Krylstat
 Referenced in 20 articles
[sw13558]
 from high dimensional Gaussian distributions using rational approximations and Krylov methods and computing logdeterminants...

CDFCOR
 Referenced in 4 articles
[sw05003]
 cdfcor: rational approximation to finite set of data. differential correction algorithm to compute a best ... uniform generalized rational approximation p/q to a function defined on a finite set of grid...

Algorithm 885
 Referenced in 8 articles
[sw09118]
 distribution via a series or continued fraction approximation, and it is good to the accuracy ... standard normal distribution via rational Chebyshev approximation. This is related to, and an improvement...

Tensorlab
 Referenced in 77 articles
[sw14255]
 term decompositions (BTD) and low multilinear rank approximation (LMLRA), complex optimization: quasiNewton and nonlinear ... differentiation, global minimization of bivariate polynomials and rational functions: both real and complex exact line...

ShearLab
 Referenced in 53 articles
[sw06721]
 ShearLab: a rational design of a digital parabolic scaling algorithm. Multivariate problems are typically governed ... which have been proposed to deliver sparse approximations of such features is the utilization ... develop a digital shearlet theory which is rationally designed in the sense that...

na8
 Referenced in 5 articles
[sw11513]
 optimal rational transfer matrix approximating a given higher order transfer matrix is briefly described...

REMES2
 Referenced in 2 articles
[sw09116]
 REMES2—a Fortran program to calculate rational minimax approximations to a given function. REMES2 ... series computer, calculates rational function minimax approximations (that is best approximations in the sense that...

BLSURF
 Referenced in 6 articles
[sw10379]
 Most of the surfaces are approximated by polynomial or rational parametric patches ... points of the surfaces) and closely approximates the geometry of the surface. It consists...

na9
 Referenced in 1 article
[sw11512]
 Rational approximations, software and test methods for sine and cosine integrals. The present work develops ... suitable rational approximations to the sine integral Si(x) and cosine integral Ci(x) with...

RARL2
 Referenced in 3 articles
[sw31514]
 goal is to provide a stable rational L2 approximation of prescribed order...

AperyAppx
 Referenced in 3 articles
[sw11564]
 AperyAppx: A Maple package to study Rational and approximations inspired by Apery’s Original Method...

AlgRemez
 Referenced in 4 articles
[sw23218]
 Remez algorithm which calculates optimal rational (and polynomial) approximations to the nth root over...

HEAAN
 Referenced in 2 articles
[sw30526]
 point arithmetics. This library supports approximate operations between rational numbers. The approximate error depends...

NLEIGS
 Referenced in 34 articles
[sw22547]
 computational cost comparable to the Newton rational Krylov method but converges more reliably, in particular ... also features lowrank approximation techniques for increased computational efficiency. Small and largescale numerical...

na21
 Referenced in 1 article
[sw11504]
 Adaptive monotone rational approximation on finite sets. The problem of uniform approximation on a finite...

Spacer
 Referenced in 12 articles
[sw19496]
 analyze procedure calls without inlining. Overapproximations are used to block infeasible counterexamples and detect ... based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation ... existing interpolation techniques to overapproximate QE and introduce Model Based Projection to underapproximate...

insulate
 Referenced in 24 articles
[sw21729]
 costly unless speedups via floating point approximations are introduced, which without additional checks in some ... counting real roots of polynomials with nonrational coefficients. We achieve this using two simple...

LambertW
 Referenced in 5 articles
[sw27502]
 iterations with initial approximations based on branchpoint expansion, asymptotic series, rational fits, and continued...

Sqrt_Babylonian
 Referenced in 2 articles
[sw32205]
 algorithms for naturals, integers and rationals, and offer an approximation algorithm for square roots over...