Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Recio, T."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Sturm-Habicht sequences, determinants and real roots of univariate polynomials
L. González-Vega
,
T. Recio
,
H. Lombardi
,
M.-F. Roy
Texts and Monographs in Symbolic Computation
, 1998, pp. 300-316
On the symbolic insimplification of the general 6
R
-manipulator kinematic equations
T. Recio
,
M.J. González-López
Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation, ISSAC'94 (Oxford, England, United Kingdom, July 20-22, 1994)
, 1994, pp. 354-358
On the computation of the local and global analytic branches of a real algebraic curve
F. Cucker
,
L.M. Pardo
,
M. Raimondo
,
T. Recio
,
M.F. Roy
Lecture Notes in Computer Science
356
, 1989, pp. 161-181
Polynomial decomposition algorithm of almost quadratic complexity
J. Gutiérrez
,
T. Recio
,
C. Ruiz de Velesco
Lecture Notes in Computer Science
357
, 1989, pp. 471-475
Rabin's width of a complete proof and the width of a semialgebraic set
T. Recio
,
L.M. Pardo
Lecture Notes in Computer Science
378
, 1989, pp. 456-462