
OpenAD/F
 Referenced in 21 articles
[sw09380]
 transformation algorithms allow efficient derivative computations using locally optimized crosscountry sequences of vertex, edge ... face elimination steps. Specifically, for the generation of adjoint codes, Open/ADF supports various code reversal...

triangulation
 Referenced in 4 articles
[sw10357]
 algebraic elimination, optimization, and geometric modeling. Our algorithm exactly computes vertex and halfspacerepresentations...

NETSYNTHESIS
 Referenced in 3 articles
[sw29379]
 with all experimental observations. The software contains algorithms for (i) transitive reduction of an initially ... corresponding to direct interactions are eliminated and (ii) pseudovertex collapse subject to the constraints...

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

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

BoomerAMG
 Referenced in 144 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

CoCoA
 Referenced in 605 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

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

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

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

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

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

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

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

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