
2D Arrangement
 Referenced in 34 articles
[sw11144]
 arrangement, such as point location. The package also includes generic implementations of two algorithmic frameworks...

LOCBIF
 Referenced in 64 articles
[sw07928]
 solutions of timeperiodic nonautonomous ODEs, fixed points and periodic orbits of iterated maps ... allows the analysis of various singularities of generic systems and of their mutual relationships...

DIMSYM
 Referenced in 72 articles
[sw04279]
 type of symmetry to be found (Lie point, LieBacklund or some userprovided ansatz ... differential equations for the generator of the generic symmetry). It proceeds to solve these equations...

GENERIC
 Referenced in 26 articles
[sw08150]
 cast in the form of GENERIC (General Equations for NonEquilibrium Reversible Irreversible Coupling ... standard materials), the state of a material point is described by dissipative internal variables ... elastic deformation and the temperature. The framework GENERIC allows for an efficient derivation of thermodynamically...

libtropicon
 Referenced in 2 articles
[sw25573]
 scalable library for computing intersection points of generic tropical hypersurfaces. The computation of intersection ... points of generic tropical hypersurfaces is a fundamental problem in computational algebraic geometry ... library for computing intersection points of generic tropical hypersurfaces that provides a unified framework...

CONTENT
 Referenced in 33 articles
[sw01058]
 fixed point. Under parameter variations, the fixed point typically moves until a bifurcation value ... called codimension one phenomena because they generically appear in problems with one free parameter ... among other things) to numerically continue fixed points and to detect, compute and continue fold...

TestU01
 Referenced in 93 articles
[sw08033]
 several types of random number generators in generic form, as well as many specific generators ... available. Basic tools for plotting vectors of points produced by generators are provided as well...

SBA
 Referenced in 23 articles
[sw05242]
 site concerns sba, a C/C++ package for generic sparse bundle adjustment that is distributed under ... error between the observed and predicted image points. The minimization is typically carried out with ... interaction among parameters for different 3D points and cameras results in the underlying normal equations ... leads to considerable computational gains. sba is generic in the sense that it grants...

TAS
 Referenced in 11 articles
[sw04900]
 generic window inference system This paper presents work on technology for transformational proof and program ... proofbypointing, and a development management for transformational proofs. It is generic...

BaRT
 Referenced in 2 articles
[sw01950]
 commensurate with the generic task point of view. Concerning CSRL, it should be noted that...

SymbolicData
 Referenced in 26 articles
[sw04621]
 schemes Formalized proof schemes are the starting point for testing, comparing, and benchmarking of different ... report about first experience with a generic proof schemes language, the GeoCode language, that...

CFTs4D
 Referenced in 22 articles
[sw23882]
 CFTs. We provide a framework for generic 4D conformal bootstrap computations. It is based ... like classification of tensor structures of $n$point functions, normalization of 2point functions...

PARPAP
 Referenced in 28 articles
[sw30926]
 medical service business. From a staff rostering point of view, the problem is to find ... thus providing the flexibility needed in a generic tool for realworld settings...

CSPprover
 Referenced in 15 articles
[sw11465]
 prove CSP refinement between two fixed points. CSPProver implements both these theories for infinite ... Technically, CSPProver is based on the generic theorem prover Isabelle, using the logic...

VoxelNet
 Referenced in 2 articles
[sw32558]
 feature engineering for 3D point clouds and propose VoxelNet, a generic 3D detection network that ... trainable deep network. Specifically, VoxelNet divides a point cloud into equally spaced 3D voxels...

Jet_fitting_3
 Referenced in 3 articles
[sw22886]
 Algorithm 889: Jet_fitting_3:  A Generic C++ Package for Estimating the Differential Properties ... properties of a surface discretized as a point cloud or a triangle mesh ... differential properties. This article presents a generic C++ software package solving these problems ... coding rules in computational geometry, genericity of the package is achieved thanks to four template...

linalg
 Referenced in 2 articles
[sw19221]
 linalg Library (Lapack made Generic). Linalg is a C++ port of the famous Lapack library ... functions of Lapack with any floating point arithmetic...

Gudhi
 Referenced in 14 articles
[sw08777]
 Geometric Understanding in Higher Dimensions) is a generic C++ library for computational topology. Its goal ... invariants of a shape, sampled by a point cloud. A popular approach is to construct...

LatticeKrig
 Referenced in 4 articles
[sw15594]
 computation and evaluation done by generic routines that have been tuned to be efficient ... field for large numbers of arbitrary points. There is also the flexibility for estimating ... integral) of the spatial process. Included are generic methods for prediction, standard errors for prediction...

StronglyStableIdeals
 Referenced in 7 articles
[sw27084]
 famous result by Galligo says that generic initial ideals are of this type ... intersection of components contains at least a point corresponding to a scheme defined...