We consider algorithms for computing intersections and normalizers of subgroups in finitely generated nilpotent groups. In Glasby (1988a, b) and Glasby and Slattery (1990), ...

Let G be a semidirect product of finitely generated Abelian groups. We provide a method for constructing an explicit contraction (special homotopy equivalence) from the ...

This algorithm generates a short rational generating function G(z) for a bounded input polyhedron P defined by a system of rational linear inequalities Ax <= b. This ...

Mathematica is being used as an excellent tool to explain a variety of optical phenomena, namely coherent electromagnetic wave interaction and holography. With Mathematica, ...

MaTeX is a package that automates compiling math-mode LaTeX snippets and importing the result back to Mathematica. It was written with the aim to make it easy to use ...

An analytical method of solution to the non-linear problem of centrifugally generated free convection in a rotating porous box is presented. The free convection results from ...

We present a unified approach for doing mathematical statistics with Mathematica. At one extreme, our package PDF empowers even the "statistically challenged" with the ...

The theory of NP-completeness is fundamental to computational complexity and the SATISFIABILITY problem of Boolean Logic is the seminal NP-complete problem on which the ...

A set of programs is presented for automatically generating and calculating Feynman diagrams. Diagrams are generated with FeynArts, then algebraically simplified using a ...

FeynArts is a Mathematica package for the generation and visualization of Feynman diagrams and amplitudes. The current version 3 features a completely new rendering engine ...