
Chebfun
 Referenced in 304 articles
[sw05897]
 system combines tools of Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic...

PMIRKDC
 Referenced in 31 articles
[sw06409]
 setup of the ABD systems and solution interpolants, and defect estimation. Numerical results show almost...

CGAL
 Referenced in 335 articles
[sw00118]
 computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics and motion ... neighbor search, and range and segment trees), interpolation (natural neighbor interpolation and placement of streamlines...

FRI
 Referenced in 9 articles
[sw07389]
 Fuzzy rule interpolation Matlab toolboxFRI toolbox. Fuzzy systems use fuzzy rule base to make ... output for such cases. Fuzzy rule based interpolation (FRI) techniques were introduced to generate inference ... sparse fuzzy rule base systems. Basically, FRI techniques perform interpolative approximate reasoning by taking into...

CVODES
 Referenced in 34 articles
[sw04946]
 backward integration in time of systems of differential equations dependent on the solution ... employs a checkpointing scheme for efficient interpolation of forward solutions during the backward integration...

GRUMMP
 Referenced in 9 articles
[sw09672]
 small to minimize linear system condition number and interpolation error. On the other hand, problems ... without excessive user intervention. We envision a system in which common types of physical problems...

LAMG
 Referenced in 23 articles
[sw06551]
 which a sequence of increasingly coarser Laplacian systems is constructed, and an iterative solve phase ... applications. LAMG combines a lean piecewiseconstant interpolation, judicious node aggregation based ... energy correction of coarselevel systems. This results in fast convergence and substantial setup...

TTPY
 Referenced in 5 articles
[sw18073]
 able to do TTinterpolation, solve linear systems, eigenproblems, solve dynamical problems. Several computational routines...

SNAKE
 Referenced in 2 articles
[sw21078]
 interpolation attack using a computer algebra system. The interpolation attack proposed by {it T. Jakobsen ... Knudsen}, “The interpolation attack on block ciphers”, Fast Software Encryption, FSE’97, Lect. Notes Comput ... attack by using a computer algebra system, and second, by finding the polynomial (or rational ... choosing the plaintexts. par They apply this interpolation attack to the block cipher SNAKE proposed...

PZ
 Referenced in 9 articles
[sw09006]
 arbitrary orders of interpolation and applicable to a variety of systems of differential equations...

SLAB
 Referenced in 8 articles
[sw09875]
 systems. The tool uses a procedure that interleaves automatic abstraction refinement using Craig interpolation with ... transitions from the abstraction. Given a transition system and a safety property to check, SLAB...

CUMODP
 Referenced in 8 articles
[sw08402]
 point evaluation and interpolation, subresultant chain computation for multivariate polynomials, bivariate system solving. The main...

SMTInterpol
 Referenced in 18 articles
[sw07406]
 Solver that can compute Craig interpolants for various theories. The solver is developed ... used on any operating system that supports Java Version 6. The solver reads input...

ICON
 Referenced in 7 articles
[sw31159]
 Meteorology (MPI‐M), targeting a unified modelling system for global numerical weather prediction ... suites initialized with interpolated analysis data reveal that the ICON modelling system already achieves better...

BPAS
 Referenced in 8 articles
[sw08399]
 evaluation and interpolation, real root isolation for both univariate and multivariate systems. In its current...

ALGLIB
 Referenced in 12 articles
[sw04806]
 Pascal, VBA) and several operating systems (Windows, Linux, Solaris). ALGLIB features include: Data analysis (classification/regression ... including neural networks); Optimization and nonlinear solvers; Interpolation and linear/nonlinear leastsquares fitting; Linear algebra...

SSpace
 Referenced in 6 articles
[sw12433]
 state space systems, performing operations such as filtering, smoothing, forecasting, interpolation, signal extraction and likelihood...

DREAM
 Referenced in 5 articles
[sw24746]
 reconcile Earth system models with data, including prediction in space (interpolation), prediction in time (forecasting ... variables and fluxes, all knowledge of the system of interest, and the unknown parameter values...

IDA
 Referenced in 1 article
[sw00434]
 structure of a complex interactive system for interpolation and smoothing of functions...

Eldarica
 Referenced in 2 articles
[sw09748]
 while the Eldarica system is based on predicate abstraction with interpolationbased counterexampledriven refinement ... sound and complete interpolating prover for Presburger arithmetic. Both systems can solve several examples...