Información del autor
Documentos disponibles escritos por este autor (7)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Andradas Heranz, Carlos ; Recio, Tomás ; Sendra, J. Rafael | Association for Computing Machinery | 1999Given a variety V, implicitly defined over an algebraic separable field extension k(alpha), A. Weil [5] developed a restriction technique (called by him a descente method),that associates to V a suitable k-variety W, such that many properties of[...]texto impreso
The paper contains a technical but useful theorem about stratification of semianalytic setstexto impreso
Let K subset of R be a computable field. We present an algorithm to decide whether a proper rational parametrization of a ruled surface, with coefficients in K((i), can be properly reparametrized over a real (i.e. embedded in R) finite field ext[...]texto impreso
For a formally real field K let X(K) be the space of orderings. The automorphism group Aut(K) of K operates on X(K). K is said to have the ’dense orbits property’ (DOP) if for all 2 X(K) the orbit of is dense in X(K). The study of such fields,[...]texto impreso
This paper is devoted to the study (from the theoretic and algorithmic point of view) of the existence of points and branches non-reachable by a parametric representation of a rational algebraic curve (in n-dimensional space) either over the fie[...]texto impreso
Andradas Heranz, Carlos ; Recio, Tomás ; Tabera, Luis F. ; Rafael Sendra, J. ; Villarino, Carlos | Elsevier | 2011Let K subset of R be a computable field. We present an algorithm to decide whether a proper rational parametrization of a ruled surface, with coefficients in K((i), can be properly reparametrized over a real (i.e. embedded in R) finite field ext[...]texto impreso
Andradas Heranz, Carlos ; Recio, Tomás ; Sendra, J. Rafael ; Tabera, Luis F. ; Villarino, Carlos | Springer | 2014-04Let be a computable subfield of the real numbers (for instance, ). We present an algorithm to decide whether a given parametrization of a rational swung surface, with coefficients in , can be reparametrized over a real (i.e., embedded in ) finit[...]
