Chapitre D'ouvrage
Année : 2000
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01573189
Soumis le : mardi 8 août 2017-17:24:51
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01573189 , version 1
Citer
Shang-Ching Chou, Xiao-Shan Gao, Zhuo-Jun Liu, Ding-Kang Wang, Dongming Wang. Geometric Theorem Provers and Algebraic Equations Solvers. Mathematics Mechanization and Applications, Academic Press, London, 2000. ⟨hal-01573189⟩
Collections
41
Consultations
0
Téléchargements