Simpler algorithmically unrecognizable 4-manifolds
From MaRDI portal
Graph representations (geometric and intersection representations, etc.) (05C62) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Computational methods for problems pertaining to manifolds and cell complexes (57-08) General topology of 4-manifolds (57K40) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
This page was built for publication: Simpler algorithmically unrecognizable 4-manifolds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6454711)
