
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 twopoint boundary value conditions...

OFMC
 Referenced in 26 articles
[sw09466]
 protocols. We introduce the opensource fixedpoint model checker OFMC for symbolic security protocol ... OFMC’s effectiveness is due to the integration of a number of symbolic, constraintbased ... also sketch the ongoing integration of fixedpointbased 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 rotationinvariant 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 oneloop fourpoint integrals with complex masses. We present a new Fortran ... calculate the scalar oneloop fourpoint 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 ... Rcppintroduction” 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...