1 citations · 2 across the 10 of their papers we have counts for
1 paper · 2 filters
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 1. We present a new symbolic procedure solving th…