Mathematics Logo

U.W. Bangor - School of Informatics - Mathematics Preprints 2002



Computational discrete algebra

02.04 : BROWN, R. & WENSLEY, C.D.

Computation and Homotopical Applications of Induced Crossed Modules

Abstract:

We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues involved in computing induced crossed modules and give some examples and applications.

Published in:

J. Symbolic Computation 35 (2003) 59-72.

Download:

gzipped pdf: 02_04.ps.gz

02.20 : LAMBE, L.A. & SEILER, W.M.

Differential equations, Spencer cohomology, and computing resolutions

Keywords:

partial differential equations; Spencer cohomology; formal theory; homological resolutions; symbolic computation.

Published in:

Georgian Mathematical Journal, 9 (2002) 723-772.

Download:

gzipped pdf: llws.pdf.gz

School of Informatics home page
Mathematics home page
U. W. Bangor home page
Latest modification to this page: 25/06/04