
LattE
 Referenced in 114 articles
[sw04654]
 lattice points and integration inside convex polytopes. LattE contains the first ever implementation of Barvinok ... integrale, has the ability to directly compute integrals of polynomial functions over polytopes...

Mfree2D
 Referenced in 303 articles
[sw15725]
 input required by MFreeApp; the latter performs computations and yields the results which are then ... three processors can work either in an integrated manner or independently. One salient feature ... many of the existing numerical packages. The first version of MFree2D ... during the Fourth Asia Pacific Conference on Computational Mechanics (APCOM 1999). The main features...

RationalFirstintegrals
 Referenced in 5 articles
[sw14472]
 Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields ... present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial ... method into a certified algorithm computing rational first integrals via systems of linear equations ... fast heuristic variant which computes a rational first integral, or fails, in 𝒪...

BEMECH
 Referenced in 105 articles
[sw10847]
 computer code, available for the first time on a CDROM attached to the book ... elastoplasticity; b) the formulation of boundary integral equations for elastoplasticity; c) the description ... systems of equations; e) the description of computer code, and f) the presentation of benchmark...

PDERecursionOperator
 Referenced in 24 articles
[sw12345]
 packages for the study of integrability and the computation of closedform solutions of nonlinear ... first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m, computes exact...

Voyager
 Referenced in 18 articles
[sw18598]
 Voyager is the first platform to seamlessly integrate fundamental distributed computing with agent technology. Voyager...

ode23
 Referenced in 279 articles
[sw06600]
 with initial conditions y0. The first input argument, odefun, is a function handle. The function ... options) solves as above with default integration parameters replaced by property values specified in options ... each event function, you specify whether the integration is to terminate at a zero ... function. isterminal(i) = 1, if the integration is to terminate at a zero of this...

PainleveTest
 Referenced in 12 articles
[sw12344]
 packages for the study of integrability and the computation of closedform solutions of nonlinear ... first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m, computes exact...

BlackHat
 Referenced in 70 articles
[sw10450]
 loop amplitudes. We present the first results from BlackHat, an automated C++ program for calculating ... helicity states. The program performs all related computations numerically. We make use of recently developed ... shell methods for evaluating coefficients of loop integrals, introducing a discrete Fourier projection...

Lotus 123
 Referenced in 80 articles
[sw27056]
 success of the IBM PC.[1] The first spreadsheet, VisiCalc, had helped launch the Apple ... earliest personal computers in business use. With IBM’s entry into the market, VisiCalc ... marketed as a threeinone integrated solution, which handled spreadsheet calculations, database functionality...

BABEL
 Referenced in 71 articles
[sw03018]
 experimental programming language BABEL, designed to achieve integration of functional programming (as embodied in HOPE ... view, BABEL combines pure PROLOG with a first order functional notation. On the other side ... both rewriting and SLD resolution and supports computation with potentially infinite data structures. There...

PROC NLMIXED
 Referenced in 59 articles
[sw11039]
 integral approximations are available, the principal ones being adaptive Gaussian quadrature and a firstorder ... nonrandom parameters, and PROC NLMIXED computes their approximate standard errors by using the delta method...

MathScheme
 Referenced in 8 articles
[sw15109]
 computer theorem proving are merged without sacrificing power or soundness. The first goal ... develop a formal framework that integrates and generalizes symbolic computation and formal deduction. The second...

KeYmaera
 Referenced in 39 articles
[sw03709]
 systems that combines deductive, real algebraic, and computer algebraic prover technologies. It is an automated ... dynamic logic, which is a realvalued firstorder dynamic logic for hybrid programs ... overcome the complexity of real arithmetic, we integrate real quantifier elimination following an iterative background...

Algorithm 858
 Referenced in 11 articles
[sw09120]
 functions. We present an algorithm to compute integrals of the form ∫∞0 xm ∏ki = 1Jνi ... Jνi(x) the Bessel function of the first kind and (real) order νi. The parameter...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 Uppaal is an integrated tool environment for modeling, simulation and verification of realtime systems ... developed jointly by Basic Research in Computer Science at Aalborg University in Denmark ... where timing aspects are critical. Since its first release in 1995, Uppaal has been applied...

Algorithm 745
 Referenced in 8 articles
[sw04688]
 computing the FermiDirac integral F j (x) and the incomplete FermiDirac integral ... presented. For the first time a set of series expansions is implemented allowing these special...

NODES
 Referenced in 3 articles
[sw00629]
 theory is easy to implement in a computer algebra language and we obtain an efficient ... finding integrability conditions for systems of ODEs and constructing the corresponding first integrals...

GELDA
 Referenced in 33 articles
[sw00331]
 known that many of the standard integration methods for general DAEs require the system ... discretization scheme introduced in [B], which first determines all the local invariants and then transforms ... able to compute a consistent initial value and apply the wellknown integration schemes...

VeriML
 Referenced in 8 articles
[sw13522]
 couples a typesafe effectful computational language with firstclass support for manipulating logical terms ... integrate a rich logical framework  similar to the one supported by Coq  inside a computational...