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

LOCBIF
 Referenced in 65 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...

GENERIC
 Referenced in 28 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...

DIMSYM
 Referenced in 73 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...

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 37 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 112 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 24 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...

VoxelNet
 Referenced in 5 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...

CFTs4D
 Referenced in 31 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...

SymbolicData
 Referenced in 28 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...

PARPAP
 Referenced in 32 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...

Gudhi
 Referenced in 30 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...

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

FoldingNet
 Referenced in 3 articles
[sw32562]
 underlying 3D object surface of a point cloud, achieving low reconstruction errors even for objects ... generic architecture that is able to reconstruct an arbitrary point cloud from a 2D grid...

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

StronglyStableIdeals
 Referenced in 9 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...

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