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

Translation of programs

Mathematics / Discrete Mathematics / Computational Systems / Universal Turing Machine

Translation of programs Algorithms, theory of Automatic programming Enumeration Algorithmic language Programming language Computable function Programming Programming Theoretical programming

citescited by

Canonical sources

Translation of programsencyclopedia_of_mathematics

Classification

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

References

Algorithms, theory of Automatic programming Enumeration Algorithmic language Programming language Computable function Programming

Referenced by

Programming Theoretical programming

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.