Researcher profile

Gema M. Diaz-Toca

Gema M. Diaz-Toca contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
6works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2019arXiv

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid

This paper presents two new direct symbolic-numerical algorithms for the transformation of Cartesian coordinates into geodetic coordinates considering the general case of a triaxial reference ellipsoid. The problem in both algorithms is reduced to finding a real positive root of a sixth degree polynomial. The first approach consists of algebraic manipulations of the equations describing the geometry of the problem and the second one uses Gröbner bases. In order to perform numerical tests and accurately compare efficiency and reliability, our algorithms together with the iterative methods presented by M. Ligas (2012) and J. Feltens (2009) have been implemented in C++. The numerical tests have been accomplished by considering 10 celestial bodies, referenced in the available literature. The obtained results clearly show that our algorithms improve the aforementioned iterative methods, in terms of both efficiency and accuracy.

preprint2015arXiv

A new method to compute the singularities of offsets to rational plane curves

Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing all the real singularities of the offset, and in particular all the real self-intersections of the offset, can be computed. We also report on experiments carried out in the computer algebra system Maple, showing the efficiency of the algorithm for moderate degrees.

preprint2015arXiv

Calcul matriciel généralisé sur les domaines de Prüfer

In this paper, we first present an algorithm for computing the Hermite normal form of pseudo-matrices over Prüfer domains. This algorithm allows us to provide constructive proofs of the main theoretical results on finitely presented modules over Prüfer domains and to discuss the resolution of linear systems. In some sense, we generalize the methodology developed by Henri Cohen for Dedekind domains. Finally, we present some results over Prüfer domains of dimension one about the Smith normal form.

preprint2015arXiv

On the Problem of Detecting When Two Implicit Plane Algebraic Curves Are Similar

We make use of the complex implicit representation in order to provide a deterministic algorithm for checking whether or not two implicit algebraic curves are related by a similarity, a central question in Pattern Recognition and Computer Vision. The algorithm has been implemented in the computer algebra system Maple 2015. Examples and evidence of the good practical performance of the algorithm are given.

preprint2015arXiv

On the square-freeness of the offset equation to a rational planar curve

It is well known that an implicit equation of the offset to a rational planar curve can be computed by removing the extraneous components of the resultant of two certain polynomials computed from the parametrization of the curve. Furthermore, it is also well known that the implicit equation provided by the non-extraneous component of this resultant has at most two irreducible factors. In this paper, we complete the algebraic description of this resultant by showing that the multiplicity of the factors corresponding to the offset can be computed in advance. In particular, when the parametrization is proper, i.e. when the curve is just traced once by the parametrization, we prove that any factor corresponding to a simple component of the offset has multiplicity 1, while the factor corresponding to the special component, if any, has multiplicity 2. Hence, if the parametrization is proper and there is no special component, the non-extraneous part of the resultant is square-free. In fact, this condition is proven to be also sufficient. Additionally, this result provides a simple test to check whether or not a given rational curve is the offset of another curve.

preprint2014arXiv

The null space of the Bezout matrix in any basis and gcd's

This manuscript presents a generalization of the structure of the null space of the Bezout matrix in the monomial basis, see [G. Heinig and K. Rost, Algebraic methods for toeplitz-like matrices and operators, 1984], to an arbitrary basis. In addition, two methods for computing the gcd of several polynomials, using also Bezout matrices, without having to convert them to the monomial basis. The main point is that the presented results are expressed with respect to an arbitrary polynomial basis. In recent years, many problems in polynomial systems, stability theory, CAGD, etc., are solved using Bezout matrices in distinct specific bases. Therefore, it is very useful to have results and tools that can be applied to any basis.