Sturm-Habicht Sequence

@inproceedings{Gonzalez1989SturmHabichtS,
  title={Sturm-Habicht Sequence},
  author={L. Gonzalez and Henri Lombardi and Tom{\'a}s Recio and Marie-Françoise Roy},
  booktitle={ISSAC},
  year={1989}
}
Introduction Formal computations with inequalities is a subject of general interest in computer algebra. In particular it is fiindamental in the parallelisation of basic algorithms and quantifier elimination for real closed fields ([BKR] , NW). In $1 we give a generalisation of Sturm theorem essentially due to Sylvester which is the key for formal computations with inequalities. Our result is an improvment of previously known results (see [BKR]) since no hypotheses have to be made on the… CONTINUE READING
Highly Cited
This paper has 54 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
34 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

54 Citations

05'92'97'03'09'15
Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…