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.
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.
gzipped pdf: llws.pdf.gz