Homology, Homotopy and Applications

Volume 5 (2003)

Number 2

Volume of a Workshop at Stanford University

Contents

Introduction

Gunnar Carlson and Rick Jardine

Discovering spaces

Lisbeth Fajstrup

pp. 1-17

Computing linking numbers of a filtration

Herbert Edelsbrunner and Afra Zomorodian

pp. 19-37

Topological deformation of higher dimensional automata

Philippe Gaucher and Eric Goubault

pp. 39-82

On the geometry of intuitionistic S4 proofs

Éric Goubault and Jean Goubault-Larrecq

pp. 137-209

Computing homology

Tomasz Kaczynski, Konstantin Mischaikow, and Marian Mrozek

pp. 233-256