
AltAltp
 Referenced in 2 articles
[sw20689]
 with heuristic state search. Despite their near dominance, heuristic state search planners still lag behind ... reason is that directly searching for parallel solutions in state space planners would require...

mcga
 Referenced in 2 articles
[sw24339]
 decoding process and the classical operators are directly applicable on realvalues. It is fast ... handle a wide range of a search space with high precision. Using a 256unary ... using their ranks calculated from the nondominated sorting algorithm...

PIFWENO3
 Referenced in 2 articles
[sw24964]
 involving modelling of waves dominated by motions in the horizontal directions (e.g., tsunami propagation ... work is on third order in space and second order in time solutions (in both...

approxBlackhole
 Referenced in 1 article
[sw06906]
 directed graphs: a general approach Given a directed graph, the problem of blackhole mining ... concept of combination dominance to reduce the exponential growth search space. Based on this pruning...

gBlackhole
 Referenced in 1 article
[sw06907]
 directed graphs: a general approach Given a directed graph, the problem of blackhole mining ... concept of combination dominance to reduce the exponential growth search space. Based on this pruning...

CARPCG
 Referenced in 10 articles
[sw00105]
 CARPCG is a conjugate gradient (CG) acceleration...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

Gerris
 Referenced in 304 articles
[sw00341]
 Gerris is a Free Software program for the...

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

HSL
 Referenced in 275 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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

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

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

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

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

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