
MACSYMA
 Referenced in 686 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system ... line commands (such as finding the indefinite integral of a function), or to perform very ... large Macsyma program. Macsyma offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus...

REDUCE
 Referenced in 694 articles
[sw00789]
 user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic ... extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution ... facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety...

Maxima
 Referenced in 110 articles
[sw00560]
 manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential...

GiNaC
 Referenced in 47 articles
[sw01609]
 allow the creation of integrated systems that embed symbolic manipulations together with more established areas...

LiteRed
 Referenced in 31 articles
[sw16341]
 heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several...

OFMC
 Referenced in 25 articles
[sw09466]
 source fixedpoint model checker OFMC for symbolic security protocol analysis, which extends ... integration of a number of symbolic, constraintbased techniques, which are correct and terminating ... lazy intruder, which is a symbolic representation of the intruder, and constraint differentiation, which ... general searchreduction technique that integrates the lazy intruder with ideas from partialorder reduction...

VSDITLU
 Referenced in 8 articles
[sw08725]
 VSDITLU: A verifiable symbolic definite integral table lookup. We present a verifiable symbolic definite...

CONTENT
 Referenced in 28 articles
[sw01058]
 environment) combines numerical methods (integration, numerical continuation etcetera) with symbolic methods (e.g. symbolic derivatives ... defined by the time integration of a three  dimensional dynamical system over a fixed time...

PDERecursionOperator
 Referenced in 17 articles
[sw12345]
 Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs. This ... three MATHEMATICA packages for the study of integrability and the computation of closedform solutions ... PDEs). The first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m...

Symbolic Math Toolbox
 Referenced in 30 articles
[sw08398]
 equation manipulation. Symbolic Math Toolbox lets you analytically perform differentiation, integration, simplification, transforms, and equation ... mathematical typeset. You can share your symbolic work as live scripts with other MATLAB users...

NP
 Referenced in 46 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...

LazyCSeq
 Referenced in 5 articles
[sw13773]
 been shown to be an effective symbolic verification technique for concurrent C programs using POSIX ... optimized implementation of lazy sequentialization, which integrates symbolic pruning of redundant schedules into the encoding...

MCCEFF
 Referenced in 5 articles
[sw06179]
 response function method and symbolic integral calculation of basic probabilistic moments of the homogenized tensor...

KeYmaera
 Referenced in 30 articles
[sw03709]
 system specification symbolically. To overcome the complexity of real arithmetic, we integrate real quantifier elimination...

PainleveTest
 Referenced in 10 articles
[sw12344]
 Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs. This ... three MATHEMATICA packages for the study of integrability and the computation of closedform solutions ... PDEs). The first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m...

TINspire
 Referenced in 62 articles
[sw06151]
 with certain exam regulations. The CAS variant integrates a computer algebra system, function plotter, dynamic ... variant is identical with some limitations in symbolic calculation...

Jnurbs
 Referenced in 7 articles
[sw08871]
 jNURBS: An objectoriented, symbolic framework for integrated, meshless analysis and optimal design. In this ... well as carryout meshless analysis thereby integrating the design and analysis in an efficient manner ... program kernel provides tools to symbolically describe complex multiphysics problems, methods to manipulate...

MathScheme
 Referenced in 7 articles
[sw15109]
 develop a formal framework that integrates and generalizes symbolic computation and formal deduction. The second ... interactive mathematics laboratory that provides an integrated set of tools for facilitating and managing mathematical...

HALO
 Referenced in 5 articles
[sw02527]
 languages, HALO (High And Low Order) integrates the symbolic programming and orderindependent structure...

Theano
 Referenced in 17 articles
[sw05894]
 features tight integration with numpy, transparent use of a GPU, efficient symbolic differentiation, speed...