• CGAL

  • Referenced in 270 articles [sw00118]
  • regrouped in CGAL Kernels. Finally, the Support Library offers geometric object generators and spatial sorting...
  • LOOK

  • Referenced in 12 articles [sw02276]
  • LOOK: A lazy object-oriented kernel design for geometric computation. We describe and discuss ... kernel design for geometric computation in the plane. It combines different kinds of floating-point ... with rational and algebraic geometric objects. It is the first kernel design which uses floating...
  • Opengeo

  • Referenced in 2 articles [sw12575]
  • OpenGeo is an enhanced version of the geometric knowledge base developed by Chen, Huang ... online. The kernel of the knowledge base consists of typical geometric knowledge objects such...
  • LAD

  • Referenced in 4 articles [sw04859]
  • process locus, proof and discovery tasks on geometric diagrams created with the commercial dynamic geometry ... kernel for the involved symbolic computations. From the DGS internal textual representation of a geometric...
  • MeshSim

  • Referenced in 1 article [sw13622]
  • geometric definition of a part stored in the modeling kernel or CAD system. This means...
  • r3d

  • Referenced in 2 articles [sw18088]
  • Routines for fast, geometrically robust clipping operations and analytic volume/moment computations over polytopes ... experimental ND). This software forms the kernel for an exact general remeshing scheme. Also includes...
  • QTM

  • Referenced in 3 articles [sw14198]
  • from atomic data using weighted Gaussian isotropic kernel functions and a two-level clustering technique ... molecule within a bounding sphere/box of influence. Geometric flow techniques are used to improve...
  • FEtk

  • Referenced in 4 articles [sw10502]
  • tools for solving coupled systems of nonlinear geometric partial differential equations (PDE). The FETK libraries ... general nonlinear finite element modeling kernel (MC), and a MATLAB toolkit (MCLite) for protyping finite...
  • svcR

  • Referenced in 1 article [sw19768]
  • Package for Support Vector Clustering improved with Geometric Hashing applied to Lexical Pattern Discovery ... approach using a Jaccard-Radial base kernel can help to classify well enough...
  • IRIT

  • Referenced in 2 articles [sw21528]
  • IRIT is a freeform geometric modeling environment that allows one to model general freeform surfaces ... curves and surfaces, convex hulls and kernels, freeform curve and surface deformation (including using composition...
  • AdELL

  • Referenced in 1 article [sw23692]
  • efficiency of the SpMV. This kernel is, in fact, a bandwidth-limited operation and poses ... peaks up to 1.94 and a 25% (geometric) average improvement, which can be potentially increased...
  • CoAdELL

  • Referenced in 1 article [sw23691]
  • linear algebra. The efficiency of a fundamental kernel such as the Sparse Matrix-Vector multiplication ... obtaining sufficient experimental evidence (33% geometric average improvement over clSpMV and 43% over...
  • ANSYS

  • Referenced in 497 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 188 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BoomerAMG

  • Referenced in 112 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CASA

  • Referenced in 62 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CLIFFORD

  • Referenced in 51 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Coq

  • Referenced in 1348 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 126 articles [sw00258]
  • Expokit provides a set of routines aimed at...