• Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for static analysis. This article describes Apron ... dedicated to the static analysis of the numerical variables of programs by abstract interpretation ... unified API, encourage the research in numerical abstract domains by providing a platform for integration...
  • TensorFlow

  • Referenced in 629 articles [sw15170]
  • open source software library for numerical computation using data flow graphs. Nodes in the graph ... applicable in a wide variety of other domains as well...
  • IIMPACK

  • Referenced in 228 articles [sw16046]
  • Immersed Interface Method -- Numerical Solutions of PDEs Involving Interfaces and Irregular Domains, Zhilin...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing ... community the challenge of handling time and numeric resources. This necessitated the development ... capable of expressing temporal and numeric properties of planning domains. In this paper we describe...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • application domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations...
  • SparseMatrix

  • Referenced in 725 articles [sw04629]
  • Collection is widely used by the numerical linear algebra community for the development and performance ... matrices cover a wide spectrum of domains, include those arising from problems with underlying...
  • Mfree2D

  • Referenced in 324 articles [sw15725]
  • users than many of the existing numerical packages. The first version of MFree2D ... main features of MFree2D include : Problem domain is discretised using scattered nodes and the discretisation...
  • PolyMesher

  • Referenced in 157 articles [sw13340]
  • relies on an implicit description of the domain geometry. The mesh generator can provide, among ... been shown not to be susceptible to numerical instabilities such as checkerboard patterns in contrast ... generator are the implicit description of the domain and the centroidal Voronoi diagrams used...
  • Schwarz-Christoffel

  • Referenced in 235 articles [sw00833]
  • generally require a computer, and although the numerical aspects of these transformations have been studied ... disk, half-plane, strip, and rectangle domains to polygon interiors, and from the disk...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • symbolic abstract domain of boxes. Numeric abstract domains are widely ... used in program analyses. The simplest numeric domains over-approximate disjunction by an imprecise join...
  • UFL

  • Referenced in 77 articles [sw11183]
  • Unified Form Language (UFL), which is a domain-specific language for representing weak formulations ... partial differential equations with a view to numerical approximation. Features of UFL include support...
  • LPG

  • Referenced in 12 articles [sw20690]
  • planning graphs that handles PDDL2.1 domains involving numerical quantities and durations. The system can solve ... possibly numeric) precondition. Action durations and numerical quantities (e.g., fuel consumption) are represented ... modeled in the evaluation function. In temporal domains, actions are ordered using a ”precedence graph...
  • SPGL1

  • Referenced in 196 articles [sw08365]
  • those that are in the complex domain. At each iteration, a spectral gradient-projection method ... information needed for the root-finding method. Numerical experiments on a comprehensive set of test...
  • LAF-SPEM

  • Referenced in 7 articles [sw09702]
  • based on an unconditionally stable time domain numerical scheme, oriented to electromagnetic transient simulations...
  • MatSol

  • Referenced in 24 articles [sw12419]
  • their parallel and numerical scalability are used for domain decomposition. The resulting class...
  • RIM_DOM.F90

  • Referenced in 37 articles [sw25510]
  • singular domain integrals. A self-contained Fortran code is listed and described for numerical implementation ... that only the boundary of the integration domain needs to be discretized into elements. This...
  • bvpsuite

  • Referenced in 26 articles [sw08540]
  • provide the open domain MATLAB code bvpsuite for the efficient numerical solution of boundary value...
  • dverk

  • Referenced in 28 articles [sw20429]
  • public domain Fortran 77 subroutine written by Hull, Enright and Jackson for the numerical solution...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • techniques have been developed for the numerical domains which may be sufficient for lower levels...
  • MADNESS

  • Referenced in 7 articles [sw06887]
  • problems in arbitrarily-shaped domains using the MADNESS (multiresolution adaptive numerical environment for scientific simulation ... begin by implementing a previously-reported diffuse domain approximation for embedding the domain ... interest into a larger domain (Li et al., 2009 [1]). Numerical and analytical tests both ... boundary. This excessive smoothness leads to large numerical cancellation and confounds the dynamically-adaptive, multiresolution...