• 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 pre-images of the set of unsafe states...
  • Grail

  • Referenced in 19 articles [sw00374]
  • Grail is a symbolic computation environment for finite-state 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 full-featured 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...