Communication Dans Un Congrès
Année : 2008
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01305663
Soumis le : jeudi 21 avril 2016-15:21:10
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01305663 , version 1
Citer
Guillaume Moroz, Fabrice Rouillier. Explicit classification of the 9 first Haas parametric systems. ADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, 2008, Shanghai, China. pp.1-1. ⟨hal-01305663⟩
Collections
114
Consultations
0
Téléchargements