• CGAL

  • Referenced in 381 articles [sw00118]
  • Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves and their applications ... neighbor search, and range and segment trees), interpolation (natural neighbor interpolation and placement of streamlines ... structures. All these data structures and algorithms operate on geometric objects like points and segments...
  • Getfem++

  • Referenced in 60 articles [sw05721]
  • procedures for classical problems, interpolation methods, computation of norms, mesh operations (including automatic refinement), boundary...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • reduce false errors: (1) a new operator called interpolated widen, which automatically recovers precision lost ... refines abstract interpretations that use the join operator to merge abstract states at join points...
  • Rapsodia

  • Referenced in 12 articles [sw12522]
  • experiments using univariate Taylor polynomials with interpolation and operator overloading with unrolled loops showed better...
  • FDL3DI

  • Referenced in 47 articles [sw24948]
  • derivative operator. However, formulas are also derived for use in a mid-point interpolation-differentiation...
  • PaCAL

  • Referenced in 7 articles [sw09496]
  • numerically and their results interpolated allowing for arbitrary arithmetic operations on random variables following practically...
  • ORESD

  • Referenced in 7 articles [sw04966]
  • discretization error based on the interpolation reconstruction of the operators. The technique presented here...
  • constant_estimation

  • Referenced in 2 articles [sw29872]
  • error constants of the Fujino-Morley interpolation operator is considered. To give concrete upper bounds...
  • UFO

  • Referenced in 22 articles [sw09570]
  • Framework for Abstraction- and Interpolation-Based Software Verification. In this paper, we present ... allows definition of different abstract post operators, refinement strategies and exploration strategies. We have built ... framework: a predicate abstraction-based version, an interpolation-based version, and a combined version which...
  • SMTInterpol

  • Referenced in 21 articles [sw07406]
  • Solver that can compute Craig interpolants for various theories. The solver is developed ... Java and can be used on any operating system that supports Java Version...
  • FELSOS

  • Referenced in 23 articles [sw18095]
  • interface normal, curvature and mass conservation. The operator-splitting makes it possible to separate ... enables us to implement the equal-order interpolation for the velocity and pressure. Diverse numerical...
  • FLEXMG

  • Referenced in 1 article [sw00295]
  • Finally, the importance of using smooth interpolation operators is also underlined in the study...
  • BPAS

  • Referenced in 9 articles [sw08399]
  • hardware accelerators. Typical operations are polynomial multiplication, multi-point evaluation and interpolation, real root isolation ... BPAS library and CUMODP library can operate independently of each other. Additionally, the BPAS library...
  • SSpace

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

  • Referenced in 14 articles [sw04806]
  • languages (C++, C#, Pascal, VBA) and several operating systems (Windows, Linux, Solaris). ALGLIB features include ... including neural networks); Optimization and nonlinear solvers; Interpolation and linear/nonlinear least-squares fitting; Linear algebra...
  • PyGSP

  • Referenced in 4 articles [sw22598]
  • variety of operations on graphs, like computing their Fourier basis, filtering or interpolating signals, plotting ... graph theory, and many of the provided operations scale to very large graphs. The package...
  • PyGeometry

  • Referenced in 3 articles [sw24374]
  • Implemented operations: conversion between representations, geodesic distances, interpolation, random sampling. The design goal ... check the correctness of the random sampling operations...
  • AGRIF

  • Referenced in 6 articles [sw07841]
  • different operations in an AMR process: time integration of grid hierarchy, clustering, interpolations, updates...
  • ICON

  • Referenced in 9 articles [sw31159]
  • diffusivity. Preliminary NWP test suites initialized with interpolated analysis data reveal that the ICON modelling ... scores than its predecessor at DWD, the operational hydrostatic Global Model Europe...
  • PEGASUS 5

  • Referenced in 11 articles [sw11324]
  • version of the PEGASUS series of mesh interpolation codes. The main purpose for the development ... inputs required and to allow for easier operation of the code. The result...