REDUCE Packages

State: late 2006.

For a more detailed description of the packages visit the Reduce-algebra.com page
or the Third Party Packages page.

• ALGINT integration for functions involving roots (James H. Davenport)

• ARNUM algebraic numbers (Eberhard Schrüfer)

• ASSIST useful utilities for various applications (Hubert Caprasse)

• AVECTOR vector algebra (David Harper)

• BOOLEAN Boolean Algebra (Herbert Melenk)

• CALI computational commutative algebra (Hans-Gert Graebe)

• CAMAL calculations in celestial mechanics (John Fitch)

• CHANGEVAR transformation of variables in differential equations (G. Üçoluk)

• CBG Comprehensive Groebner Bases (T. Sturm, A. Dolzmann)

• COMPACT condensing of expressions with polynomial side relations (Anthony C. Hearn)

• CRACK solving overdetermined systems of PDEs or ODEs (Andreas Brand, Thomas Wolf)

• CVIT Dirac gamma matrices (V.Ilyin, A.Kryukov, A.Rodionov, A.Taranov)

• DEFINT Definite Integration (Victor Adamchik, Kerry Gaskell)

• DESIR differential equations and singularities (C. Dicrescenzo, F. Richard-Jung, E. Tournier)

• DFPART Derivatives of generic functions (Herbert Melenk)

• EXCALC calculus for differential geometry (Eberhard Schrüfer)

• FIDE code generation for finite difference schemes (Richard Liska)

• FPS Formal Power Series (Wolfram Koepf)

• GENTRAN code generation in FORTRAN, RATFOR, C (Barbara Gates)

• GEOMETRY mechanized (plane) geometry manipulations (H.-G. Graebe)

• GNUPLOT display of functions and surfaces (Herbert Melenk)

• GROEBNER computation in multivariate polynomial ideals (Herbert Melenk, H.Michael Möller, Winfried Neun)

• HEPHYS high energy physics (Anthony C. Hearn)

• IDEALS arithmetic for polynomial ideals (Herbert Melenk)

• INEQ Solving Inequalities (Herbert Melenk)

• INVBASE involutive polynomial systems (Alexey Zharkov)

• LAPLACE Laplace and inverse Laplace transform (C. Kazasov et al.)

• LIE functions for the classification of real n-dimensional Lie algebras (Carsten, Franziska Schöbel)

• LIMITS finding limits (Stanley L. Kameny)

• LININEQ linear inequalities and linear programming (Herbert Melenk)

• LINALG Linear Algebra (Matt Rebbeck)

• MODSR Modular Solve and Roots (Herbert Melenk)

• NORMFORM Matrix Normal Forms (Matt Rebbeck)

• NUMERIC solving numerical problems using rounded mode (Herbert Melenk)

• ODESOLVE ordinary differential equations (Malcolm MacCallum et al.)

• ORTHOVEC calculus for scalar and vector quantities (J.W. Eastwood)

• PHYSOP additional support for non-commuting quantities (Mathias Warns)

• PM general algebraic pattern matcher (Kevin McIsaac)

• QSUM summation of q-hypergeometric terms (Wolfram Koepf, Harald Boeing)

• RANDPOLY Random Polynomial Generator (Francis Wright)

• RATINT integration of rational functions usingt Hermite Horowitz Rothstein Trager algorithms (Neil Langmead)

• RATAPRX Rational Approximations Package (Lisa Temme)

• REACTEQN manipulation of chemical reaction systems (Herbert Melenk)

• REDLOG REDUCE Logic package (T. Sturm, A. Dolzmann)

• RESIDUE Residue calculation (Wolfram Koepf)

• RLFI, TRI TeX and LaTeX output (Richard Liska, Ladislav Drska, Werner Antweiler)

• ROOTS roots of polynomials (Stanley L. Kameny)

• RSOLVE Rational Polynomail Solver (Francis Wright)

• SETS Basic Set Theory (Francis Wright)

• SCOPE optimization of numerical programs (J. A. van Hulzen)

• SPARSE Sparse Matrix Package (Stephen Scowcroft)

• SPDE symmetry analysis for partial differential equations (Fritz Schwarz)

• SPECFN special functions (Chris Cannam et al.)

• SPECFN2 special special functions (Victor Adamchik, Winfried Neun)

• SUM sum and product of series (Fuji Kako)

• SYMMETRY symmetry-adapted bases and block diagonal forms of symmetric matrices (Karin Gatermann)

• TAYLOR multivariate Taylor series (Rainer Schöpf)

• TMPRINT interface to the TexMacs system. (A. Seidl, H. Melenk)

• TPS univariate Taylor series with indefinite order (Alan Barnes, Julian Padget)

• TRIGSIMP User controlled simplification of trigonometric expressions. (Wolfram Koepf, Andreas Bernig, Herbert Melenk)

• WU Wu algorithm for polynomial systems (Russell Bradford)

• XCOLOR Color Factor in non-abelian Gauge (V.Ilyin, A.Kryukov)

• ZEILBERG Zeilberger's Algorithm (Wolfram Koepf, Gregor Stoelting)

• ZTRANS Z-Transformation and inverse Z.T. (Wolfram Koepf, Lisa Temme)