
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 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...

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 twolevel 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 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...

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 specialpurpose 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...