
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 63 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 24 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 31 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 83 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 25 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 18 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...

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

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

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

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