
DECUHR
 Referenced in 15 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 300 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

DCUHRE
 Referenced in 21 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 107 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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

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

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

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

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

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

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

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

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

QEPCAD
 Referenced in 264 articles
[sw00752]
 QEPCAD B: A program for computing with semi...