Solving semi-algebraic systems with the RegularChains library in Maple
Abstract
no abstract
Conference Papers
Year : 2011
François Lemaire : Connect in order to contact the contributor
https://hal.science/hal-00825013
Submitted on : Wednesday, May 22, 2013-5:09:08 PM
Last modification on : Friday, May 17, 2024-4:32:06 PM
Dates and versions
Identifiers
- HAL Id : hal-00825013 , version 1
Cite
François Lemaire, Changbo Chen, James H. Davenport, Marc Moreno Maza, Nalina Phisanbut, et al.. Solving semi-algebraic systems with the RegularChains library in Maple. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51. ⟨hal-00825013⟩
Collections
109
View
0
Download