• 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, Lie-Backlund or some user-provided ansatz ... differential equations for the generator of the generic symmetry). It proceeds to solve these equations...
  • LOCBIF

  • Referenced in 62 articles [sw07928]
  • solutions of time-periodic 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 hyper-surfaces. The computation of intersection ... points of generic tropical hyper-surfaces is a fundamental problem in computational algebraic geometry ... library for computing intersection points of generic tropical hyper-surfaces that provides a unified framework...
  • GENERIC

  • Referenced in 21 articles [sw08150]
  • cast in the form of GENERIC (General Equations for Non-Equilibrium 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 ... proof-by-pointing, 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...
  • CSP-prover

  • Referenced in 15 articles [sw11465]
  • prove CSP refinement between two fixed points. CSP-Prover implements both these theories for infinite ... Technically, CSP-Prover 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 real-world 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 2-point 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 one-loop effective potential energy ... which are then used as the starting points for gradient-based minimization...