• MACSYMA

  • Referenced in 686 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical 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 690 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 109 articles [sw00560]
  • manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential...
  • GiNaC

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

  • Referenced in 25 articles [sw09466]
  • source fixed-point model checker OFMC for symbolic security protocol analysis, which extends ... integration of a number of symbolic, constraint-based techniques, which are correct and terminating ... lazy intruder, which is a symbolic representation of the intruder, and constraint differentiation, which ... general search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction...
  • VSDITLU

  • Referenced in 8 articles [sw08725]
  • VSDITLU: A verifiable symbolic definite integral table look-up. We present a verifiable symbolic definite...
  • LiteRed

  • Referenced in 25 articles [sw16341]
  • heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several...
  • 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 16 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 closed-form solutions ... PDEs). The first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m...
  • Symbolic Math Toolbox

  • Referenced in 29 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 Newman-Penrose formation. We illustrate ... complex calculation that arises in the integration of the Petrov type-D vacuum field equations...
  • KeYmaera

  • Referenced in 28 articles [sw03709]
  • system specification symbolically. To overcome the complexity of real arithmetic, we integrate real quantifier elimination...
  • TI-Nspire

  • 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...
  • Lazy-CSeq

  • Referenced in 4 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...
  • PainleveTest

  • Referenced in 9 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 closed-form solutions ... PDEs). The first package, PainleveTest.m, symbolically performs the Painlevé integrability test. The second package, PDESpecialSolutions.m...
  • MCCEFF

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

  • Referenced in 7 articles [sw08871]
  • jNURBS: An object-oriented, 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 multi-physics problems, methods to manipulate...
  • HALO

  • Referenced in 5 articles [sw02527]
  • languages, HALO (High And Low Order) integrates the symbolic programming and order-independent structure...
  • MathScheme

  • Referenced in 6 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...
  • Theano

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