Merken

Writing and checking complete proofs in LaTeX

Zitierlink des Filmsegments
Embed Code

Für dieses Video liegen keine automatischen Analyseergebnisse vor.

Analyseergebnisse werden nur für Videos aus Technik, Architektur, Chemie, Informatik, Mathematik und Physik erstellt, bei denen dies rechtlich zulässig ist.

Metadaten

Formale Metadaten

Titel Writing and checking complete proofs in LaTeX
Serientitel The 30th Annual Meeting of the TeX Users Group (TUG 2009)
Teil 18
Anzahl der Teile 28
Autor Neveln, Bob
Alps, Bob
Lizenz CC-Namensnennung - keine Bearbeitung 2.0 UK: England & Wales:
Sie dürfen das Werk in unveränderter Form zu jedem legalen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
DOI 10.5446/30837
Herausgeber River Valley TV
Erscheinungsjahr 2012
Sprache Englisch
Produktionsort Indiana, USA

Inhaltliche Metadaten

Fachgebiet Informatik
Abstract ProofCheck is a system for writing and checking mathematical proofs. Theorems and proofs are contained in a plain or document. Parsing and proof checking are accomplished through Python programs which read the source file. A general explanation of the use and structure of the system and programs is provided and a sample proof is shown in detail. The work done by the authors has been based on standard sentence logic, a non-standard predicate logic and set theory with proper classes. Theorems and proofs based on other foundations may be checked if external data files are modified. Four such data files and their possible modifications are described. In addition, the extent to which the formal language can be shaped to accommodate an author's preferences is discussed.

Ähnliche Filme

Loading...