Formalisation, arithmetization and automatisation of geometry - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Formalisation, arithmetization and automatisation of geometry

Fichier non déposé

Dates et versions

hal-04226945 , version 1 (03-10-2023)

Identifiants

  • HAL Id : hal-04226945 , version 1

Citer

Julien Narboux. Formalisation, arithmetization and automatisation of geometry. Automated Deduction in Geometry 2023, Predrag Janičić; Pedro Quaresma; Zoltán Kovács; Vesna Marinković, Sep 2023, Belgrade, France. ⟨hal-04226945⟩
22 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More