Skip to main content Skip to section menu

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


Site footer