Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker Real quantifier elimination in practice. (English) Zbl 0934.68130 Matzat, B. Heinrich (ed.) et al., Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 221-247 (1999). Reviewer: R.Dimitrić (Berkeley) MSC: 68W30 13P10 13-04 PDFBibTeX XMLCite \textit{A. Dolzmann} et al., in: Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 221--247 (1999; Zbl 0934.68130)
Yoshikawa, Tsuneo; Ueda, Hitoshi Module-based architecture of world model for haptic virtual reality. (English) Zbl 0947.70548 Casals, Alicia et al., Experimental robotics V. The 5th international symposium, Barcelona, Catalonia, Spain, June 15-18, 1997. Berlin: Springer. Lect. Notes Control Inf. Sci. 232, 155-166 (1998). MSC: 70Q05 70-05 68T40 68T45 PDFBibTeX XMLCite \textit{T. Yoshikawa} and \textit{H. Ueda}, Lect. Notes Control Inf. Sci. 232, 155--166 (1998; Zbl 0947.70548)