Cited By
View all- Monniaux DCorbineau P(2011)On the generation of positivstellensatz witnesses in degenerate casesProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033960(249-264)Online publication date: 22-Aug-2011
- May JSaunders BWood DWatt SVerschelde J(2007)Numerical techniques for computing the inertia of products of matrices of rational numbersProceedings of the 2007 international workshop on Symbolic-numeric computation10.1145/1277500.1277520(125-132)Online publication date: 25-Jul-2007