1Algint    Integration of Square Roots::$reduce/lisp/psl/linux/red/algint.b::algint
2Applysym  Applying Infinitesimal Symmetries::$reduce/lisp/psl/linux/red/applysym.b::applysym
3Arnum     Algebraic Numbers::$reduce/lisp/psl/linux/red/arnum.b::arnum
4Assist    Various Useful Utilities::$reduce/lisp/psl/linux/red/assist.b::assist
5Avector   Vector Algebra and Calculus::$reduce/lisp/psl/linux/red/avector.b::avector
6Boolean   Boolean Algebra::$reduce/lisp/psl/linux/red/boolean.b::boolean
7Cali      Computational Commutative Algebra::$reduce/lisp/psl/linux/red/cali.b::cali
8Camal     Celestial Mechanics::$reduce/lisp/psl/linux/red/camal.b::camal
9Cgb       Comprehensive Groebner Bases::$reduce/lisp/psl/linux/red/cgb.b::cgb
10Changevr  Change of Variables in DEs::$reduce/lisp/psl/linux/red/changevr.b::changevr
11Compact   Compacting Expressions::$reduce/lisp/psl/linux/red/compact.b::compact
12Contfr    Continued Fractions::$reduce/lisp/psl/linux/red/contfr.b::contfr
13Crack     Overdetermined systems of DEs::$reduce/lisp/psl/linux/red/crack.b::crack
14Cvit      Dirac Gamma Matrix Traces::$reduce/lisp/psl/linux/red/cvit.b::cvit
15Defint    Definite Integration::$reduce/lisp/psl/linux/red/defint.b::defint
16Desir     Linear Homogenous DEs::$reduce/lisp/psl/linux/red/desir.b::desir
17Dfpart    Derivatives of generic functions::$reduce/lisp/psl/linux/red/dfpart.b::dfpart
18Dummy     Expressions with Dummy Variables::$reduce/lisp/psl/linux/red/dummy.b::dummy
19Eds       Exterior differential systems::$reduce/lisp/psl/linux/red/eds.b::eds
20Excalc    Differential Geometry::$reduce/lisp/psl/linux/red/excalc.b::excalc
21Fps       Formal Power Series::$reduce/lisp/psl/linux/red/fps.b::fps
22Fide      Finte Differences in PDEs::$reduce/lisp/psl/linux/red/fide.b::fide
23Gentran   Code Generation::$reduce/lisp/psl/linux/red/gentran.b::gentran
24Geometry  Mechanized (Plane) Geometry Manipulations::$reduce/lisp/psl/linux/red/geometry.b::geometry
25Geoprover Mechanized (Plane) Geometry Theorem Proving::$reduce/lisp/psl/linux/red/geoprover.b::geoprover
26Gnuplot   Display of functions and surfaces::$reduce/lisp/psl/linux/red/gnuplot.b::gnuplot
27Groebner  Groebner Bases::$reduce/lisp/psl/linux/red/groebner.b::groebner
28Ideals    Polynomial Ideals::$reduce/lisp/psl/linux/red/ideals.b::ideals
29Ineq      Solving Inequalities::$reduce/lisp/psl/linux/red/ineq.b::ineq
30Invbase   Involutive Bases::$reduce/lisp/psl/linux/red/invbase.b::invbase
31Laplace   Laplace Transform::$reduce/lisp/psl/linux/red/laplace.b::invbase
32Lie       Classification of Lie Algebras::$reduce/lisp/psl/linux/red/lie.b::lie
33Limits    Finding Limits::$reduce/lisp/psl/linux/red/limits.b::limits
34Linalg    Linear Algebra::$reduce/lisp/psl/linux/red/linalg.b::linalg
35Modsr     Modular Solve and Roots::$reduce/lisp/psl/linux/red/modsr.b::modsr
36Mrvlimit  Package for Computing Limits of "Exp-Log" Functions::$reduce/lisp/psl/linux/red/mrvlimit.b::mrvlimit
37Ncpoly    Non-commutative polynomial ideals::$reduce/lisp/psl/linux/red/ncpoly.b::ncpoly
38Normform  Matrix Normal Forms::$reduce/lisp/psl/linux/red/normform.b::normform
39Numeric   Numerical solvers::$reduce/lisp/psl/linux/red/numeric.b::numeric
40Odesolve  Ordinary Differential Equations::$reduce/lisp/psl/linux/red/odesolve.b::odesolve
41Orthovec  Scalar and Vector Manipulation::$reduce/lisp/psl/linux/red/orthovec.b::orthovec
42Physop    Operator Calculus in Quantum Theory::$reduce/lisp/psl/linux/red/physop.b::physop
43PM        A Pattern Matcher::$reduce/lisp/psl/linux/red/pm.b::pm
44Qsum      Package for q-hypergeometric sums::$reduce/lisp/psl/linux/red/qsum.b::qsum
45Randpoly  Random Polynomial Generator::$reduce/lisp/psl/linux/red/randpoly.b::randpoly
46Rataprx   Rational Approximations Package::$reduce/lisp/psl/linux/red/rataprx.b::rataprx
47Redlog    Logic System::$reduce/lisp/psl/linux/red/redlog.b::redlog
48Reset     Reset REDUCE::$reduce/lisp/psl/linux/red/reset.b::reset
49Residue   Computing Residues::$reduce/lisp/psl/linux/red/residue.b::residue
50Rlfi      Latex interface::$reduce/lisp/psl/linux/red/rlfi.b::rlfi
51Rsolve    Rational Polynomail Solver::$reduce/lisp/psl/linux/red/rsolve.b::rsolve
52Roots     Root Finding::$reduce/lisp/psl/linux/red/roots.b::roots
53Rsolve    Rational polynomial solver::$reduce/lisp/psl/linux/red/rsolve.b::rsolve
54Scope     Source Code Optimization::$reduce/lisp/psl/linux/red/scope.b::scope
55Sets      Basic Set Theory::$reduce/lisp/psl/linux/red/sets.b::sets
56Sparse    Sparse Matrices::$reduce/lisp/psl/linux/red/sparse.b::sparce
57Spde      Symmetry Groups of PDEs::$reduce/lisp/psl/linux/red/spde.b::spde
58Specfn    Special Functions::$reduce/lisp/psl/linux/red/specfn.b::specfn
59Specfn2   Special Special Functions::$reduce/lisp/psl/linux/red/specfn2.b::specfn2
60Sum       Series Summation::$reduce/lisp/psl/linux/red/misc.b::misc
61Susy2     Super Symmetry::$reduce/lisp/psl/linux/red/susy2.b::susy2
62Symmetry  Symmetric Matrices::$reduce/lisp/psl/linux/red/symmetry.b::symmetry
63Taylor    Taylor Series::$reduce/lisp/psl/linux/red/taylor.b::taylor
64Tps       Truncated Power Series::$reduce/lisp/psl/linux/red/tps.b::tps
65Tri       Tex REDUCE Interface::$reduce/lisp/psl/linux/red/tri.b::tri
66Trigsimp  Trigoniometric Simplification::$reduce/lisp/psl/linux/red/trigsimp.b::trigsimp
67Wu        Wu Algorithm::$reduce/lisp/psl/linux/red/wu.b::wu
68Xcolor    Color Factor in non-abelian Gauge::$reduce/lisp/psl/linux/red/xcolor.b::xcolor
69Zeilberg  Zeilbergers Algorith::$reduce/lisp/psl/linux/red/zeilberg.b::zeilberg
70Ztrans    Z Transformation and Inv::$reduce/lisp/psl/linux/red/ztrans.b::ztrans
71