Tutorial Laboratory - GeoCoq to formalize high-school geometry problems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Tutorial Laboratory - GeoCoq to formalize high-school geometry problems

Fichier principal
Vignette du fichier
Tutorial_GeoCoq_ADG_2023 (1).pdf (1.07 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Copyright (Tous droits réservés)

Dates et versions

hal-04230732 , version 1 (06-10-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04230732 , version 1

Citer

Pierre Boutry, Julien Narboux. Tutorial Laboratory - GeoCoq to formalize high-school geometry problems. ADG 2023 - Automated Deduction in Geometry 2023, Predrag Janičić; Pedro Quaresma; Zoltán Kovács, Sep 2023, Belgrade, Serbia. ⟨hal-04230732⟩
95 Consultations
75 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More