The aim of this article is to demonstrate the use of Mathematica in computations in algebraic topology. While Mathematica, which aims to be a general purpose numeric-symbolic ...

The purpose of this program is to derive the determining equations for Lie-Baecklund symmetries. The determining equations are derived in a form simplified as far as ...

We discuss the capabilities of MathLie in supporting the symmetry analysis of differential equations. MathLie is a computer algebra program written in Mathematica 3.0 and ...

he classification of naturally graded quasi-filiform Lie algebras is known; they have the characteristic sequence (n - 2, 1, 1) where n is the dimension of the algebra. in ...

Lie algebraic deflection aberration theory is employed to derive high-order canonical aberrations of combined magnetic focusing-deflection systems. With the aid of the ...

The SLC final focus system is designed to have an overall demagnification of 30:1, with a beta at the interaction point (beta*) of 5 mm, and an energy band pass of ~0.4%. ...

With the support of software Mathematica 4.0 we obtain important properties of Heisenberg type superalgebras, this type of superalgebras corresponds to the family of Lie ...

Heisenberg algebras are the only Lie algebras (g, [, ]) which verify [g, g] = Z(g) and dim(Z(g)) = 1, where Z denotes the center of the algebra. We classify nilpotent Lie ...

An experimental version of a Clifford Algebra package. This package uses an experimental version of the tensor calculus package Tensorial 3.0 that is included with the ...

This article describes a general method for linear algebra and exterior algebra computations. The utilities MakeLinearObject, MakeLinearMap, and MakeMultilinearMap implement ...