
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 firstorder 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 (computeraided control system design) package called SYMCON (SYMbolic computation CONtroller), for the design ... design of all the wellestablished discretetime 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 ... LISPbased 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 manybody 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 messagepassing 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 timeinvariant 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 LeviCivita 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...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: 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...