RealSolving
Abstract
Documentation du logiciel RealSolving
Other Publications
Year : 1998
Publications Loria : Connect in order to contact the contributor
https://hal.inria.fr/inria-00098569
Submitted on : Monday, September 25, 2006-5:03:36 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00098569 , version 1
Cite
Fabrice Rouillier. RealSolving. 1998. ⟨inria-00098569⟩
Collections
117
View
0
Download