
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 305 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1502 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 108 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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

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

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

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

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

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

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

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

PLTMG
 Referenced in 205 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...