
GCLC
 Referenced in 30 articles
[sw00326]
 We present GCLC/WinGCLC  a tool for visualizing geometrical...

GeM
 Referenced in 95 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

HOM4PS
 Referenced in 77 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

homalg
 Referenced in 30 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

INTBIS
 Referenced in 31 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

intpakX
 Referenced in 11 articles
[sw00445]
 The Maple Power Tool intpakX defines Maple types...

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

KNITRO
 Referenced in 184 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

Kronecker
 Referenced in 114 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

LASS
 Referenced in 30 articles
[sw00505]
 Local Analysis of SelfSimilarity  The LASS tool...

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

LGO
 Referenced in 93 articles
[sw00516]
 The program system LGO serves to solve global...