• 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 toolbox-FRI 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 piecewise-constant interpolation, judicious node aggregation based ... energy correction of coarse-level systems. This results in fast convergence and substantial setup...
  • TTPY

  • Referenced in 5 articles [sw18073]
  • able to do TT-interpolation, 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 least-squares 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 interpolation-based counterexample-driven refinement ... sound and complete interpolating prover for Presburger arithmetic. Both systems can solve several examples...