
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 objectoriented kernel design for geometric computation. We describe and discuss ... kernel design for geometric computation in the plane. It combines different kinds of floatingpoint ... 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 twolevel 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 JaccardRadial 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 bandwidthlimited 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 MatrixVector 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 specialpurpose 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...