• 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 CD-ROM attached to the book ... elasto-plasticity; b) the formulation of boundary integral equations for elasto-plasticity; 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 closed-form 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 closed-form 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 1-2-3

  • 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 three-in-one 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 first-order ... 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 real-valued first-order 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 real-time 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 Fermi-Dirac integral F j (x) and the incomplete Fermi-Dirac 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 well-known integration schemes...
  • VeriML

  • Referenced in 8 articles [sw13522]
  • couples a type-safe effectful computational language with first-class support for manipulating logical terms ... integrate a rich logical framework -- similar to the one supported by Coq -- inside a computational...