Communication Dans Un Congrès
Année : 2009
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01298888
Soumis le : mercredi 6 avril 2016-17:52:21
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01298888 , version 1
Citer
Daniel Lazard. Theorem Proving in Geometry and Tools for Polynomial System Solving. International Conference on Mathematics Mechanization (ICMM) in honor of professor Wen-Tsun Wu's nineties birthday, May 2009, Beijing, China. pp.1--1. ⟨hal-01298888⟩
Collections
123
Consultations
0
Téléchargements