rec-thy – Commands to typeset recursion theory papers
This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.
Quellen | /macros/latex/contrib/rec-thy |
Dokumentation | |
Repository | https://github.com/TruePath/Recursion-Theory-Latex-Package |
Version | 4.0 2024-03-29 |
Lizenzen | Public Domain Software |
Copyright | 2010–2024 Peter M. Gerdes |
Betreuer | Peter M. Gerdes |
Enthalten in | TeX Live als rec-thy MiKTeX als rec-thy |
Themen | Mathematik Expl3 |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (141.8k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare