• LattE

  • Referenced in 102 articles [sw04654]
  • problems of counting lattice points and integration inside convex polytopes. LattE contains the first ever...
  • bvp4c

  • Referenced in 188 articles [sw06178]
  • differential equations. sol = bvp4c(odefun,bcfun,solinit) integrates a system of ordinary differential equations ... interval [a,b] subject to two-point boundary value conditions...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • protocols. We introduce the open-source fixed-point model checker OFMC for symbolic security protocol ... OFMC’s effectiveness is due to the integration of a number of symbolic, constraint-based ... also sketch the ongoing integration of fixed-point-based techniques for protocol verification...
  • Maxima

  • Referenced in 127 articles [sw00560]
  • symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems ... arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data...
  • ABAQUS/Standard

  • Referenced in 155 articles [sw07161]
  • postprocessing needs. The results at any point within an Abaqus/Standard run can be used ... Abaqus/Standard. The flexibility provided by this integration allows Abaqus/Standard to be applied to those portions...
  • INLA

  • Referenced in 14 articles [sw07535]
  • toolbox for fitting complex spatial point process models using integrated nested Laplace approximation (INLA) This ... routinely fitting complex models to realistic spatial point pattern data. We consider models that ... constructed covariates. This enables us to use integrated nested Laplace approximation and to considerably speed ... rainforest data set with covariates and a point pattern with multiple marks...
  • SURF

  • Referenced in 132 articles [sw29761]
  • novel scale- and rotation-invariant interest point detector and descriptor, coined SURF (Speeded Up Robust ... faster. This is achieved by relying on integral images for image convolutions; by building...
  • D0C

  • Referenced in 4 articles [sw10449]
  • calculate scalar one-loop four-point integrals with complex masses. We present a new Fortran ... calculate the scalar one-loop four-point integral with complex internal masses, based...
  • RcppArmadillo

  • Referenced in 47 articles [sw09313]
  • templated linear algebra library. R and Armadillo integration using Rcpp Armadillo is a templated ... speed and ease of use. Integer, floating point and complex numbers are supported, as well ... Various matrix decompositions are provided through optional integration with LAPACK and ATLAS libraries. A delayed...
  • HRMSYM

  • Referenced in 44 articles [sw14017]
  • paper ”Fully Symmetric Interpolatory Rules for Multiple Integrals over Infinite Regions with Gaussian Weight”. Also ... product rules for a maximum of fifty points in each variable...
  • Normaliz

  • Referenced in 128 articles [sw00630]
  • necessarily pointed) rational cone, the lattice points of a rational polytope or unbounded polyhedron ... generalized (or weighted) Ehrhart series and Lebesgue integrals of polynomials over rational polytopes via NmzIntegrate...
  • MOVCOL

  • Referenced in 30 articles [sw07938]
  • point finite difference method. The resulting ODE system is integrated in time with...
  • CONTENT

  • Referenced in 30 articles [sw01058]
  • fixed point. Under parameter variations, the fixed point typically moves until a bifurcation value ... package CONTENT (continuation environment) combines numerical methods (integration, numerical continuation etcetera) with symbolic methods ... among other things) to numerically continue fixed points and to detect, compute and continue fold ... detect and compute all codimension two points on such curves, including strong resonances and degenerate...
  • FE2TI

  • Referenced in 4 articles [sw13908]
  • solved at each macroscopic Gauß integration point. Then, volumetric averages of microscopic stress distributions...
  • Armadillo

  • Referenced in 51 articles [sw05863]
  • speed and ease of use. Integer, floating point, and complex numbers are supported, as well ... Various matrix decompositions are provided through optional integration with LAPACK and ATLAS libraries. A delayed...
  • ABAQUS/Explicit

  • Referenced in 72 articles [sw07160]
  • postprocessing needs. The results at any point within an Abaqus/Explicit run can be used ... Abaqus/Explicit. The flexibility provided by this integration allows Abaqus/Explicit to be applied to those portions...
  • PSOPT

  • Referenced in 7 articles [sw20700]
  • path constraints; General event constraints; Integral constraints; Interior point constraints; Bounds on controls and state...
  • Rcpp

  • Referenced in 125 articles [sw08385]
  • library which facilitate the integration of R and C++. R data types (SEXP) are matched ... Rcpp-introduction” vignette provides a good entry point to Rcpp. Conversion from...
  • Algorithm 720

  • Referenced in 7 articles [sw13888]
  • algorithm for computing an approximation to the integral of each element in a vector ... degree 8 with 43 points is used to approximate an integral. The local error estimate...