2 papers
math.AG2019
Decision problem for a class of univariate Pfaffian functions
Maria Laura Barbagallo, Gabriela Jeronimo, Juan Sabia
We address the decision problem for sentences involving univariate functions constructed from a fixed Pfaffian function of order . We present a new symbolic procedure solving th…
math.AG2015
Zero counting for a class of univariate Pfaffian functions
María Laura Barbagallo, Gabriela Jeronimo, Juan Sabia
We present a new procedure to count the number of real zeros of a class of univariate Pfaffian functions of order . The procedure is based on the construction of Sturm sequences…