Nesta tese estudamos a geometria extrínseca de superfícies suave em R4 via seu contato com retas e hiperplanos. Uribe-Vargas introduziu um cr-invariante (crossratio) em uma cúspide de Gauss de uma superfície em R3. Para uma superfície em R4, o ponto P3(c) tem comportamento similar a uma cúspide de Gauss de uma superfície em R3. Estabelecemos nesta tese cross-ratio invariantes para superfícies em R4 de uma maneira análoga ao trabalho de Uribe-Vargas para superfícies em R3. Estudamos os lugares geométricos das singularidades locais e multi-locais das projeções ortogonais da superfície e classificamos os k-jatos de parametrizações de germes de superfícies no espaço projetivo P4 dadas na forma de Monge por mudanças projetivas. Os cross-ratio invariantes nos pontos P3(c) são usadas para recuperar os dois módulos no 4-jato da parametrização projetiva da superfície. / In this thesis we study the extrinsic geometry of smooth surfaces in R4 via their contact with lines and hyperplanes. Uribe-Vargas introduced a cr-invariant (crossratio) at a cusp of Gauss of a surface in R3. For a surface in R4, the point P3(c) has similar behavior to that of a cusp of Gauss of a surface in R3. We establish in this thesis cross-ratio invariants for surfaces in R4 in an analogous way to Uribe- Vargass work for surfaces in R3. We study the geometric locii of local and multilocal singularities of ortogonal projections of the surface and classify the k-jets of parametrizations of germs of surfaces in the projection space P4 given in Monge form by projective transformations. The cross-ratio invariants at P3(c) points are used to recover two moduli in the 4-jet of the projective parametrization of the surfaces.

Nesta tese estudamos a geometria extrínseca de superfícies suave em R4 via seu contato com retas e hiperplanos. Uribe-Vargas introduziu um cr-invariante (crossratio) em uma cúspide de Gauss de uma superfície em R3. Para uma superfície em R4, o ponto P3(c) tem comportamento similar a uma cúspide de Gauss de uma superfície em R3. Estabelecemos nesta tese cross-ratio invariantes para superfícies em R4 de uma maneira análoga ao trabalho de Uribe-Vargas para superfícies em R3. Estudamos os lugares geométricos das singularidades locais e multi-locais das projeções ortogonais da superfície e classificamos os k-jatos de parametrizações de germes de superfícies no espaço projetivo P4 dadas na forma de Monge por mudanças projetivas. Os cross-ratio invariantes nos pontos P3(c) são usadas para recuperar os dois módulos no 4-jato da parametrização projetiva da superfície. / In this thesis we study the extrinsic geometry of smooth surfaces in R4 via their contact with lines and hyperplanes. Uribe-Vargas introduced a cr-invariant (crossratio) at a cusp of Gauss of a surface in R3. For a surface in R4, the point P3(c) has similar behavior to that of a cusp of Gauss of a surface in R3. We establish in this thesis cross-ratio invariants for surfaces in R4 in an analogous way to Uribe- Vargass work for surfaces in R3. We study the geometric locii of local and multilocal singularities of ortogonal projections of the surface and classify the k-jets of parametrizations of germs of surfaces in the projection space P4 given in Monge form by projective transformations. The cross-ratio invariants at P3(c) points are used to recover two moduli in the 4-jet of the projective parametrization of the surfaces.

For over two decades, mathematicians and cryptologists have evaluated and presented the theoretical performance of Elliptic-curve scalar point-multiplication in projective geometry. Because computation in projective domain is composed of a wide array of formulations and computing optimizations, there is not a comprehensive performance comparison of point-multiplication using projective transformation available to verify its realistic efficiency in 64-bit x86 computing platforms. Today, research on explicit mathematical formulations in projective domain continues to excel by seeking higher computational efficiency and ease of realization. An explicit performance evaluation will help implementers choose better implementation methods and improve Elliptic-curve scalar point-multiplication. This paper was founded on the practical solution that obtaining realistic performance figures should be based on more precise computational cost metrics and specific computing platforms. As part of that solution, an empirical performance benchmark comparison between two approaches implementing projective Elliptic-curve scalar point-multiplication will be presented to provide the selection of, and subsequently ways to improve scalar point-multiplication technology executing in a 64-bit x86 runtime environment.