
CGAL
 Referenced in 262 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...

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

ANSYS
 Referenced in 477 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 102 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

CASA
 Referenced in 60 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CLIFFORD
 Referenced in 49 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

Coq
 Referenced in 1297 articles
[sw00161]
 Coq is a formal proof management system. It...

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

GAP
 Referenced in 2087 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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