
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 differentialalgebraic...

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 stateoftheart 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 NewmanPenrose formation. We illustrate ... complex calculation that arises in the integration of the Petrov typeD 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...

SageCombinat
 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 lowerlevel 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, constraintbased ... general searchreduction technique that integrates the lazy intruder with ideas from partialorder 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 wellstructured 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 differentialalgebraic 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 integrationbyparts (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 differencedifferential...

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...

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