Titlebook: ;

Nonconformist

不愿

Some research problems on homotopy-self-equivalences,

constitutional

List of papers on or relevant to groups of self-homotopy equivalences,

抑制

Allowance

The space of self maps on the 2-sphere,rove that the component in the space of self maps on the 2-sphere containing the maps of degree . admits a unique k-fold covering space, and that this covering space has the homotopy type of the space of orientation preserving self homotopy equivalences.

相信

thrombosis

Repaying Our DebtsThis text surveys a number of the ways in which computing science could (or should) influence the rest of our mathematical culture.

JIBE

absolve

含水层

A Proof of the Schorr-Waite AlgorithmThe preceding two papers laid a theoretical foundation for verifying list-processing programs. The present paper exercises the formalism in a verification of that most recalcitrant algorithm, the Schorr-Waite graph-marking algorithm.