Rodriguez-Losada, Diego; Matia, Fernando; Pedraza, Luis; Jimenez, Agustin; Galan, Ramon Consistency of SLAM-EKF algorithms for indoor environments. (English) Zbl 1133.68457 J. Intell. Robot. Syst. 50, No. 4, 375-397 (2007). MSC: 68T40 PDFBibTeX XMLCite \textit{D. Rodriguez-Losada} et al., J. Intell. Robot. Syst. 50, No. 4, 375--397 (2007; Zbl 1133.68457) Full Text: DOI
Diem, Claus The XL-algorithm and a conjecture from commutative algebra. (English) Zbl 1094.94029 Lee, Pil Joong, Advances in cryptology – ASIACRYPT 2004. 10th international conference on the theory and application of cryptology and information security, Jeju Island, Korea, December 5–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23975-8/pbk). Lecture Notes in Computer Science 3329, 323-337 (2004). MSC: 94A60 12Y05 13D40 68W30 PDFBibTeX XMLCite \textit{C. Diem}, Lect. Notes Comput. Sci. 3329, 323--337 (2004; Zbl 1094.94029) Full Text: DOI
Rodríguez-Millán, Jesús Integrated symbolic-graphic-numeric analysis and design in nonlinear control through notebooks in Mathematica. (English) Zbl 1023.93502 Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 405-420 (2001). MSC: 93C10 68W30 PDFBibTeX XMLCite \textit{J. Rodríguez-Millán}, Lect. Notes Comput. Sci. 2178, 405--420 (2001; Zbl 1023.93502) Full Text: Link
Rodríguez-Millán, Jesús Symbolic computation tools for dynamical nonlinear control systems. (English) Zbl 1023.93501 Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 393-404 (2001). MSC: 93C10 68W30 PDFBibTeX XMLCite \textit{J. Rodríguez-Millán}, Lect. Notes Comput. Sci. 2178, 393--404 (2001; Zbl 1023.93501) Full Text: Link