• CGAL

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

  • Referenced in 10 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 2 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...
  • ATLAS

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

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

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

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

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

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

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

  • Referenced in 103 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • LAPACK

  • Referenced in 1222 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 193 articles [sw00509]
  • In the core computer science areas -- data structures...