
DECUHR
 Referenced in 16 articles
[sw02676]
 region. The algorithm combines an adaptive subdivision strategy with extrapolation. The extrapolation uses ... directly incorporated into the subdivision strategy used for the adaptive algorithm. The algorithm is designed...

SimpleS
 Referenced in 4 articles
[sw04413]
 more general case of $k^d$ subdivision, and is considerably simpler than the {ssf RedRefinementND ... implementation of Freudenthal’s strategy. The proposed simplex subdivision algorithm is motivated by a problem...

Aquarius
 Referenced in 5 articles
[sw26678]
 deduction, called deduction by ClauseDiffusion. The subdivision of the work among the processes, their ... ClauseDiffusion methodology, of all the strategies provided in Otter. In this paper, we give...

Satin
 Referenced in 4 articles
[sw08972]
 problem into smaller subproblems. This recursive subdivision goes on until the remaining subproblem becomes trivial ... Stealing (CRS), which outperforms existing load balancing strategies on multicluster systems. In addition, Satin...

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

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

CUBPACK
 Referenced in 29 articles
[sw00175]
 CUBPACK aims to offer a collection of re...

DCUHRE
 Referenced in 22 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

DCUTRI
 Referenced in 12 articles
[sw00191]
 Algorithm 706: DCUTRI: an algorithm for adaptive cubature...

Diffpack
 Referenced in 111 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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

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

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

NAG
 Referenced in 374 articles
[sw00610]
 Produced by experts for use in a variety...

Octave
 Referenced in 275 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PARDISO
 Referenced in 257 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

PLTMG
 Referenced in 214 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...