Article Dans Une Revue
Journal of Symbolic Computation
Année : 2019
Adam Parusinski : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02536236
Soumis le : mercredi 8 avril 2020-01:24:56
Dernière modification le : jeudi 14 mars 2024-03:13:22
Dates et versions
Identifiants
- HAL Id : hal-02536236 , version 1
- ARXIV : 1607.00264
- DOI : 10.1016/j.jsc.2017.12.002
Citer
Scott Mccallum, Adam Parusiński, Laurentiu Paunescu. Validity proof of Lazard's method for CAD construction. Journal of Symbolic Computation, 2019, 92, pp.52-69. ⟨10.1016/j.jsc.2017.12.002⟩. ⟨hal-02536236⟩
Collections
22
Consultations
0
Téléchargements