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

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

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

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

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

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

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

TestU01
 Referenced in 76 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...

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

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

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

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

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

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

FOXBOX
 Referenced in 15 articles
[sw00307]
 evaluates the polynomial at that given point. FOXBOX can compute the greatest common divisor ... could handle before. Furthermore, FOXBOX demonstrates the generic program design methodology. The FOXBOX system...

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

Vevacious
 Referenced in 4 articles
[sw18239]
 program called Vevacious which takes a generic expression for a oneloop effective potential energy ... which are then used as the starting points for gradientbased minimization...