scientific article; zbMATH DE number 140167
[For the entire collection see Zbl 0746.00080.] The paper represents a good review on using computers in algebraic topology. The paper consists of a review devoted to the following problems: (1) Decidable and undecidable problems. The authors include the following: (a) the word problem; (b) the problem of homeomorphism between two compact combinatorial \(n\)-manifolds with \(n\geq 4\); (c) the Poincaré conjecture and others. (2) Tractable and intractable problems. (3) The calculation of invariants in algebraic topology using a computer. (4) Two general theories on computability in algebraic topology. (5) Perspectives in the application of computers to topology.
- Topology, domain theory and theoretical computer science
- The computability problem in algebraic topology
- On computer-assisted research in homological algebra.
- scientific article; zbMATH DE number 5905566 (Why is no real title available?)
- Real Computable Manifolds and Homotopy Groups
- An application of computer algebra to algebraic topology
- scientific article; zbMATH DE number 4111609 (Why is no real title available?)
- Computer algebra and desuspensions of stunted real projective spaces
- Topology for Computing
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028552)
