Sitharam, Meera; Zhou, Yong; Peters, Jörg Reconciling conflicting combinatorial preprocessors for geometric constraint systems. (English) Zbl 1207.65060 Int. J. Comput. Geom. Appl. 20, No. 6, 631-651 (2010). MSC: 65H10 05B35 05C85 12Y05 65H04 PDFBibTeX XMLCite \textit{M. Sitharam} et al., Int. J. Comput. Geom. Appl. 20, No. 6, 631--651 (2010; Zbl 1207.65060) Full Text: DOI
Lucas, Salvador Polynomials over the reals in proofs of termination: from theory to practice. (English) Zbl 1085.68076 Theor. Inform. Appl. 39, No. 3, 547-586 (2005). MSC: 68Q42 12Y05 68W30 PDFBibTeX XMLCite \textit{S. Lucas}, Theor. Inform. Appl. 39, No. 3, 547--586 (2005; Zbl 1085.68076) Full Text: DOI Numdam EuDML Link