• # SPRINT2D

• Referenced in 25 articles [sw00904]
• mesh generation, spatial discretization, time integration, nonlinear equations, linear algebra, spatial adaptivity, and visualization...
• # 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...

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