5 research outputs found
Symbolic Recipes for Real Solutions
Contribution à un ouvrage.International audienceThe 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