• CGAL

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

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

  • Referenced in 1 article [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...
  • 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 3 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...
  • ANSYS

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

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

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

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

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

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

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

  • Referenced in 2005 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 416 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...