No label defined (Q4028552)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 140167
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 140167 |
Statements
28 March 1993
0 references
word problem
0 references
homeomorphism
0 references
Poincaré conjecture
0 references
computability
0 references
0.8330444693565369
0 references
0.758897066116333
0 references
0.7554129362106323
0 references
[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.
0 references
