CNRS-MS: Komplexes Numerisches Repräsentationssystem (CNRS) Programm Master-Zusammenfassung

Zweck dieses Dokuments. Dies ist eine eigenständige Referenz für externe Leser. Es werden alle Haupttheoreme, deren Beweisstatus und alle offenen Probleme dargestellt, mit einer Abhängigkeitsstruktur, die zeigt, was jedes Ergebnis erfordert und was es ermöglicht. Hier werden keine Herleitungen gegeben; die Zitate verweisen auf die Arbeitspapiere, in denen die Beweise erscheinen. Statusbezeichnungen: bewiesen = in einem Programmdokument bewiesen; konditional = unter einer explizit angegebenen Hypothese bewiesen; offen = offen, mit bekannten oder teilweise bekannten Lösungsstrategien; Vermutung = vermutet, aktuell keine Beweisstrategie verfügbar.