• SPRINT2D

  • Referenced in 25 articles [sw00904]
  • mesh generation, spatial discretization, time integration, nonlinear equations, linear algebra, spatial adaptivity, and visualization...
  • MEBDF

  • Referenced in 77 articles [sw00567]
  • integration of large sparse systems of stiff initial value ordinary differential equations and differential-algebraic...
  • Golem95

  • Referenced in 24 articles [sw00371]
  • generation of large algebraic expressions. Restrictions: The current version contains basis integrals for massless internal...
  • SOCS

  • Referenced in 127 articles [sw07737]
  • exploits state-of-the-art sparse linear algebra technology to solve very large optimization problems ... Nonlinear Programming software is available as an integral part of SOCS or as a separate...
  • NP

  • Referenced in 51 articles [sw00631]
  • symbolic algebra package is presented for performing computations in the Newman-Penrose formation. We illustrate ... complex calculation that arises in the integration of the Petrov type-D vacuum field equations...
  • Z

  • Referenced in 279 articles [sw10291]
  • market, a significant novel feature is the integration of $Z$ with the refinement calculus ... from the relational calculus are introduced, its algebraic properties are not mentioned; many...
  • pARMS

  • Referenced in 39 articles [sw00683]
  • parallel Algebraic Recursive Multilevel Solver (pARMS) is a recently developed package which integrates together variants...
  • Sage-Combinat

  • Referenced in 102 articles [sw16448]
  • extensible toolbox for computer exploration in (algebraic) combinatorics, and foster code sharing between researchers ... that most of those branches get eventually integrated into Sage as soon as they...
  • hlib

  • Referenced in 66 articles [sw04080]
  • using BLAS and LAPACK for lower-level algebraic operations. The library contains functions ... partial differential equations and a number of integral operators as well as support routines...
  • fKenzo

  • Referenced in 6 articles [sw01156]
  • interface for computations in algebraic topology. fKenzo is an integral assistant ... research in (a subset of) Algebraic Topology. The ”integral” adjective means that this assistant...
  • OFMC

  • Referenced in 27 articles [sw09466]
  • extends previous similar languages with support for algebraic properties of cryptographic operators and with ... OFMC’s effectiveness is due to the integration of a number of symbolic, constraint-based ... general search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction ... analyze security protocols with respect to an algebraic theory of the employed cryptographic operators, which...
  • Armadillo

  • Referenced in 73 articles [sw05863]
  • Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between ... Various matrix decompositions are provided through optional integration with LAPACK and ATLAS libraries. A delayed...
  • MEXX

  • Referenced in 19 articles [sw22801]
  • remain satisfied throughout the integration interval. Uses well-structured linear algebra, enabling...
  • core 2

  • Referenced in 6 articles [sw04960]
  • Numeric Computation (ENC). The ENC approach to algebraic number computation is based on iterative verified ... such libraries practical. Core 2 smoothly integrates our algebraic ENC subsystem with transcendental functions with...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • linear quadratic optimal control problems and differential-algebraic Riccati equations ... known that many of the standard integration methods for general DAEs require the system...
  • Azurite

  • Referenced in 17 articles [sw20252]
  • Azurite: An algebraic geometry based package for finding bases of loop integrals. For any given ... this vector space. It constructs the needed integration-by-parts (IBP) identities ... diagrams and is powered by the computer algebra systems {sc Singular} and {sc Mathematica...
  • HolonomicFunctions

  • Referenced in 46 articles [sw06666]
  • that a given function satisfies. Summation and integration of multivariate holonomic functions can be performed ... been implemented in HolonomicFunctions: computations in Ore algebras (noncommutative polynomial arithmetic with mixed difference-differential...
  • Symbolic Math Toolbox

  • Referenced in 35 articles [sw08398]
  • mathematical areas such as calculus, linear algebra, algebraic and ordinary differential equations, equation simplification ... Math Toolbox lets you analytically perform differentiation, integration, simplification, transforms, and equation solving. Your computations...
  • GiNaC

  • Referenced in 73 articles [sw01609]
  • designed to allow the creation of integrated systems that embed symbolic manipulations together with more ... where CAS stands for Computer Algebra System. It has been specifically developed to become...
  • LERG-I

  • Referenced in 12 articles [sw02890]
  • Algebraic reduction of Feynman diagrams to scalar integrals: A {it Mathematica} implementation of LERG...