Source-linked topology

Mathematics knowledge graph

Explore mathematical concepts through their taxonomy and citation relationships. Uintell stores graph metadata and canonical links, not a copied corpus.

8658concepts

10281sources

45444citations

Concept topology

Algorithmic problem

Mathematics / Discrete Mathematics / Computational Systems / Universal Turing Machine

Algorithmic problem Turing machine Algorithms, theory of Recursive function Model theory Algorithm Normal algorithm Decision problem Enumeration problem Associative calculus Residually-finite group Defining relationships Unsolvability Hilbert problems Residually-finite semi-group

citescited by

Canonical sources

Algorithmic problemencyclopedia_of_mathematics

Classification

Universal Turing MachineMathematics / Discrete Mathematics / Computational Systems / Universal Turing Machine

References

Turing machine Algorithms, theory of Recursive function Model theory Algorithm Normal algorithm

Referenced by

Decision problem Enumeration problem Associative calculus Residually-finite group Defining relationships Unsolvability Hilbert problems Residually-finite semi-group

Source records retain attribution and canonical links. The public graph does not reproduce article bodies. See the Encyclopedia of Mathematics licensing notice before republishing source text.