• REDLOG

  • Referenced in 160 articles [sw04250]
  • package that extends the computer algebra system REDUCE to a computer logic system ... system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily ... appears to the user, and explain the design issues and implementation techniques...
  • FAST

  • Referenced in 37 articles [sw21268]
  • Symbolic Transition Systems. fast is a tool for the analysis of infinite systems. This paper ... that have been made in the tool design. The user must provide a model ... computation policy. Several such policies are proposed as a standard in the package, others...
  • SYMCON

  • Referenced in 1 article [sw31542]
  • CACSD (computer-aided control system design) package called SYMCON (SYMbolic computation CONtroller), for the design ... design of all the well-established discrete-time control schemes. The package is useful...
  • FINGER

  • Referenced in 25 articles [sw07104]
  • FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis FINGER ... LISP-based system to derive formulas needed in finite element analysis, and to generate FORTRAN ... finite element analysis packages. This approach aims to replace tedious hand computations that are time ... matrices. FINGER contains a package, called GENTRAN, that translates symbolic formulas into FORTRAN. GENTRAN...
  • LPDO

  • Referenced in 3 articles [sw11549]
  • package LPDO, which is designed for work with linear partial differential operators with symbolic coefficients ... computer algebra system MAPLE. In addition to basic procedures (operator creation, determination, modification, and various...
  • Singularity

  • Referenced in 6 articles [sw20306]
  • named Singularity. The first version here is designed for the qualitative study of local real ... symbolic bifurcation analysis and control of different singularities including autonomous differential singular systems and local ... smooth maps. Many tools and techniques from computational algebraic geometry have been used to develop ... this library is developed. This package is useful for both pedagogical and research purposes. Singularity...
  • Hinf

  • Referenced in 1 article [sw18780]
  • design of control systems. In computing the final results, symbolic algebra turns ... this paper, symbolic computation algorithms will be developed to enable computations directly in the theoretically ... useful transfer function rings. A symbolic software package, called Hinf, will be developed and used...
  • DiracQ

  • Referenced in 2 articles [sw08513]
  • software package DiracQ, for use in quantum many-body Physics. It is designed for helping ... within a Mathematica session, and extends the symbolic capabilities of Mathematica by building in standard ... enables the user to carry out computations such as evaluating the commutators of arbitrary combinations ... systems, such as the Hubbard model, are provided to illustrate the capabilities of the package...
  • FeynCalcFormLink

  • Referenced in 2 articles [sw28329]
  • Mathematica and FeynCalc. FORM, a symbolic manipulation system, has been widely used ... high performance and fficient design. Mathematica, another computational software program, has also widely been used ... describe FormLink and FeynCalcFormLink, two Mathematica packages to link Mathematica and FeynCalc with FORM. FormLink...
  • CALYPSO

  • Referenced in 4 articles [sw00100]
  • arithmetic.\parWe designed these algorithms under a message-passing model of computation. These are implemented ... memory machines, such as massively parallel processing systems and networks of workstations, and shared memory ... parFinally we integrated our package in a computer algebra system, which uses a sequential frontend ... computation. \parWe have called this package CALYPSO, a sort of package acronym for Computer Algebra...
  • CONFAL

  • Referenced in 1 article [sw21935]
  • package called CONFAL. It is based on Gundes’ stable factorization approach (1992) to the design ... Mathematica, allows for both symbolic and numerical computation in the ring S of stable rational ... analysis of linear time-invariant multivariable feedback systems in the standard unity feedback configuration, under...
  • Metatheory.jl

  • Referenced in 1 article [sw37953]
  • metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage ... reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable ... optimization specifically tailored to single, arbitrary Julia packages. Our library provides a simple, algebraically composable ... about semantics and all kinds of formal systems, by defining concise rewriting rules in pure...
  • VEST

  • Referenced in 1 article [sw16763]
  • package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through ... addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi ... single particle guiding center system in plasma physics, a computation which illustrates its ability ... handle very large expressions. VEST has been designed to be simple and intuitive...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CGAL

  • Referenced in 367 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Cinderella

  • Referenced in 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CLUCalc

  • Referenced in 33 articles [sw00133]
  • CLUCalc is a freely available software tool for...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...