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

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

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

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

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

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

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

LGS
 Referenced in 15 articles
[sw00517]
 In the paper we present LGS  a geometric...

LSQR
 Referenced in 377 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Macaulay2
 Referenced in 1776 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3055 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5220 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6129 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12721 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 155 articles
[sw00560]
 Maxima is a system for the manipulation of...

MiniSat
 Referenced in 549 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...