Tutorial Laboratory - GeoCoq to formalize high-school geometry problems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Tutorial Laboratory - GeoCoq to formalize high-school geometry problems

Domaines

Logiciel mathématique [cs.MS]
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)

Julien Narboux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04230732

Soumis le : vendredi 6 octobre 2023-10:55:45

Dernière modification le : jeudi 11 avril 2024-13:08:14

Archivage à long terme le : dimanche 7 janvier 2024-18:28:14

Télécharger pour visualiser

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENGEES INSA-STRASBOURG GEOCOQ INRIA2 INC-CNRS UNIV-COTEDAZUR SITE-ALSACE INSA-GROUPE
77 Consultations
41 Téléchargements

Partager

Gmail Facebook X LinkedIn More