External Links

    Journal: Journal of Symbolic Computation

    Volume 35, Issue 1

    3 -- 19Paolo Aluffi. Computing characteristic classes of projective schemes
    21 -- 58Hans de Nivelle, Maarten de Rijke. Deciding the guarded fragments by resolution
    59 -- 72Ronald Brown, Christopher D. Wensley. Computation and homotopical applications of induced crossed modules
    runs on