
LOOK
 Referenced in 12 articles
[sw02276]
 computation. We describe and discuss a new kernel design for geometric computation in the plane ... computation with rational and algebraic geometric objects. It is the first kernel design which uses...

Jnurbs
 Referenced in 8 articles
[sw08871]
 common representation, namely the NonUniform Rational BSpline (NURBS). Thus, NURBS serves to design ... analysis in an efficient manner. The program kernel provides tools to symbolically describe complex multi...

ncHilb
 Referenced in 2 articles
[sw27177]
 truncated) Hilbert series may not be rational functions. We consider some applications of the computation ... series that has been developed in the kernel of the computer algebra system {sc Singular...

KSVD
 Referenced in 2 articles
[sw30531]
 Review, 2016), respectively. Based on the Zolotarev rational functions, introduced by Zolotarev in 1877, ZOLO ... high level of concurrency associated with QDWH kernels, and even higher with ZOLOPD, ultimately...

ADOLC
 Referenced in 247 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ARMS
 Referenced in 65 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

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

CGAL
 Referenced in 381 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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

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

gfun
 Referenced in 141 articles
[sw00344]
 The gfun package provides tools for determining and...

Gmsh
 Referenced in 690 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

GQRAT
 Referenced in 35 articles
[sw00373]
 The concern here is with Gausstype quadrature...

GRM
 Referenced in 4 articles
[sw00391]
 Weighted Grammar Tools: The GRM Library. We describe...

ISOGAT
 Referenced in 303 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 262 articles
[sw00509]
 In the core computer science areas  data structures...