Symbolic Recipes for Real Solutions

Laureano Gonzalez-Vega (1) , Fabrice Rouillier (2) , Marie-Françoise Roy , Guadaluppe Trujillo

1 POLKA - Polynomials, Combinatorics, Arithmetic
2 CALFOR - Calcul formel

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.

Mots clés: Real Roots; Polynomes; Polynoms; Solving; Résolution; Racines Réelles

Domaines: Autre [cs.OH]

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⟩