
CliffMath
 Referenced in 20 articles
[sw04955]
 calculus on graphs. Theory and applications in computer science. This pioneering book presents a study ... unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer ... book, together with packages for performing symbolic computations...

REDLOG
 Referenced in 159 articles
[sw04250]
 computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of first...

CliffOC
 Referenced in 18 articles
[sw04957]
 calculus on graphs. Theory and applications in computer science This pioneering book presents a study ... unified manner, with significant emphasis on symbolic computations and an eye toward applications in computer ... book, together with packages for performing symbolic computations...

HyTech
 Referenced in 322 articles
[sw04125]
 analysis of embedded systems. HyTech computes the condition under which a linear hybrid system satisfies ... components, and temporal requirements are verified by symbolic model checking. If the verification fails, then...

ROSE
 Referenced in 22 articles
[sw07851]
 software engine. Most optimization software performs numerical computation, in the sense that the main interest ... mathematical programming, however, a considerable amount of symbolic transformation is essential to solving difficult optimization ... Software Engine (ROSE) for performing (automatic) symbolic computation on mathematical programming formulations...

NCSOStools
 Referenced in 17 articles
[sw06920]
 computer algebra system for symbolic and numerical computation with noncommutative polynomials ... NCSOStools is a Matlab toolbox for symbolic computation with polynomials in noncommuting (NC) variables; constructing...

CONDENS
 Referenced in 21 articles
[sw12346]
 condens2009.m: A Mathematica program for the symbolic computation of conserved densities for systems of nonlinear...

FracSym
 Referenced in 19 articles
[sw16769]
 FracSym: automated symbolic computation of Lie symmetries of fractional differential equations. In this paper...

SCSCP
 Referenced in 13 articles
[sw06673]
 Symbolic Computation Software Composability Protocol In the direction of the software composability, on the first ... step we designed the Symbolic Computation Software Composability Protocol (SCSCP) by which a computer algebra...

Mcmt
 Referenced in 19 articles
[sw11911]
 backward reachability procedure which symbolically computes preimages of the set of unsafe states...

Grail
 Referenced in 19 articles
[sw00374]
 Grail is a symbolic computation environment for finitestate machines, regular expressions, and other formal...

mathStatica
 Referenced in 18 articles
[sw07362]
 support for the advanced numeric and symbolic computations. Mathematica is not just a specialized statistical...

Mathemagix
 Referenced in 39 articles
[sw00553]
 Towards large scale programming for symbolic and certified numeric computations Coordinated by Joris ... design of a scientific programming language for symbolic and certified numeric algorithms. This language ... will illustrate possibilities offered for certified numeric computations with balls and intervals...

MPFI
 Referenced in 38 articles
[sw00597]
 needed. To provide accurate results, interval computations require small input intervals; this explains why bisection ... roots (by an algorithm combining symbolic and numerical computations) and approximation of real roots with...

CLICAL
 Referenced in 17 articles
[sw20733]
 output in Clifford algebras (and fast internal computation in matrices). CLICAL is intended for researchers ... notably an online geometric calculator, two symbolic computer algebra packages for MapleV5, one for Mathematica...

SymPy
 Referenced in 94 articles
[sw00940]
 library for symbolic mathematics. It aims to become a fullfeatured computer algebra system...

FORMAC
 Referenced in 45 articles
[sw01193]
 Sammet. FORMAC supported computation, manipulation, and use of symbolic expressions. (wikipedia...

Maxima
 Referenced in 147 articles
[sw00560]
 system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace ... data in two and three dimensions. Computer algebra system...

WKPtest
 Referenced in 15 articles
[sw17943]
 Symbolic computation of the Painlevé test for nonlinear partial differential equations using Maple. A software...

GiNaC
 Referenced in 71 articles
[sw01609]
 systems that embed symbolic manipulations together with more established areas of computer science (like computation...