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