
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 midpoint interpolationdifferentiation...

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 FujinoMorley interpolation operator is considered. To give concrete upper bounds...

UFO
 Referenced in 22 articles
[sw09570]
 Framework for Abstraction and InterpolationBased 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 abstractionbased version, an interpolationbased 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 operatorsplitting makes it possible to separate ... enables us to implement the equalorder 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, multipoint 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 leastsquares 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...