
OpenAD/F
 Referenced in 23 articles
[sw09380]
 optimized crosscountry sequences of vertex, edge, and face elimination steps. Specifically, for the generation...

twheuristic
 Referenced in 4 articles
[sw34759]
 that compute an elimination order, i.e., a permutation of the vertex set. In this paper ... elimination order of width at most (k), but extending it by one more vertex exceeds ... last (c) positions of the partial elimination order such that it can be extended without...

NETSYNTHESIS
 Referenced in 3 articles
[sw29379]
 corresponding to direct interactions are eliminated and (ii) pseudovertex collapse subject to the constraints...

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

LqsgwFlapw
 Referenced in 1 article
[sw28331]
 method. The all electron LAPW basis set eliminates the need for pseudopotentials. We discuss ... many body diagrammatic resummations such as the vertexcorrected GW approach and the GW+DMFT...

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

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

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

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

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

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

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

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

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

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

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

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

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

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