Nonconformist 发表于 2025-3-23 12:07:26
http://reply.papertrans.cn/39/3891/389007/389007_11.png不愿 发表于 2025-3-23 15:36:29
Some research problems on homotopy-self-equivalences,constitutional 发表于 2025-3-23 20:18:30
List of papers on or relevant to groups of self-homotopy equivalences,抑制 发表于 2025-3-23 23:42:32
http://reply.papertrans.cn/39/3891/389007/389007_14.pngAllowance 发表于 2025-3-24 05:16:45
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.相信 发表于 2025-3-24 09:24:08
http://reply.papertrans.cn/39/3891/389007/389007_16.pngthrombosis 发表于 2025-3-24 14:42:47
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 发表于 2025-3-24 17:33:10
http://reply.papertrans.cn/39/3891/389007/389007_18.pngabsolve 发表于 2025-3-24 22:28:47
http://reply.papertrans.cn/39/3891/389007/389007_19.png含水层 发表于 2025-3-25 03:05:51
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.