Symbolic Recipes for Real Solutions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 1998

Symbolic Recipes for Real Solutions

Fabrice Rouillier
Marie-Françoise Roy
  • Function : Author
Guadaluppe Trujillo
  • Function : Author


The main purpose of this chapter is to show how to use algorithms and methodology provided by computer algebra to manipulate in a symbolic way the real solutions of an algebraic system of equations.


Other [cs.OH]

Dates and versions

inria-00098571 , version 1 (25-09-2006)



Laureano Gonzalez-Vega, Fabrice Rouillier, Marie-Françoise Roy, Guadaluppe Trujillo. Symbolic Recipes for Real Solutions. Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩. ⟨inria-00098571⟩
168 View
0 Download



Gmail Facebook Twitter LinkedIn More