une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Chicli, Laurent ; Software and mathematics (LEMME) ; et al.

In: https://hal.inria.fr/inria-00072403 ; RR-4216, INRIA. 2001, 2001

Online report

Zugriff:

Volltext

On présente ici un début de formalisation de la géométrie algébrique en théorie des types avec la définition des schémas affines. Pour cela topologie, algèbre et théorie des faisceaux ont étés développées en Coq, nous décrivons leurs spécifications, ainsi que les problèmes rencontrés lors de ce travail.

Titel:	une formalisation des faisceaux et des schémas affines en théorie des types avec Coq
Autor/in / Beteiligte Person:	Chicli, Laurent ; Software and mathematics (LEMME) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) ; INRIA
Link:	https://hal.inria.fr/inria-00072403 https://hal.inria.fr/inria-00072403/document Volltext
Zeitschrift:	https://hal.inria.fr/inria-00072403 ; RR-4216, INRIA. 2001, 2001
Veröffentlichung:	HAL CCSD, 2001
Medientyp:	report
Schlagwort:	THEORIE DES TYPES TOPOLOGIE SCHEMAS FAISCEAUX FORMALISATION DES MATHEMATIQUES ALGEBRE COQ CTCOQ [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Sonstiges:	Nachgewiesen in: BASE Sprachen: French Collection: Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) Document Type: report Language: French Relation: Report N°: RR-4216; inria-00072403; https://hal.inria.fr/inria-00072403; https://hal.inria.fr/inria-00072403/document; https://hal.inria.fr/inria-00072403/file/RR-4216.pdf Rights: info:eu-repo/semantics/OpenAccess

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.