Daniel Perrucci

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 4

Top Topics

Quantifier Elimination

Cardinality Constraints

Top Venues

Discret. Comput. Geom.

Ann. Pure Appl. Log.

Publications

Daniel Perrucci, Marie-Françoise Roy
A new general formula for the Cauchy index on an interval with subresultants. J. Symb. Comput. 109 (2022)
Paula Escorcielo, Daniel Perrucci
On the Davenport-Mahler bound. J. Complex. 41 (2017)
Daniel Perrucci, Marie-Françoise Roy
Elementary recursive quantifier elimination based on Thom encoding and sign determination. Ann. Pure Appl. Log. 168 (8) (2017)
Daniel Perrucci, Marie-Françoise Roy
Elementary recursive quantifier elimination based on Thom encoding and sign determination. CoRR (2016)
Gabriela Jeronimo, Daniel Perrucci
A Probabilistic Symbolic Algorithm to Find the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set. Discret. Comput. Geom. 52 (2) (2014)
Daniel Perrucci, Marie-Françoise Roy
Zero-nonzero and real-nonreal sign determination CoRR (2013)
Gabriela Jeronimo, Daniel Perrucci, Elias P. Tsigaridas
On the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set and Applications. SIAM J. Optim. 23 (1) (2013)
Gabriela Jeronimo, Daniel Perrucci, Elias P. Tsigaridas
On the minimum of a polynomial function on a basic closed semialgebraic set and applications CoRR (2011)
Daniel Perrucci
Linear solving for sign determination. Theor. Comput. Sci. 412 (35) (2011)
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
On Sign Conditions Over Real Multivariate Polynomials. Discret. Comput. Geom. 44 (1) (2010)
Gabriela Jeronimo, Daniel Perrucci
On the minimum of a positive polynomial over the standard simplex. J. Symb. Comput. 45 (4) (2010)
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
A parametric representation of totally mixed Nash equilibria. Comput. Math. Appl. 58 (6) (2009)
Daniel Perrucci
Linear Solving for Sign Determination CoRR (2009)
Gabriela Jeronimo, Daniel Perrucci
On the minimum of a positive polynomial over the standard simplex CoRR (2009)
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
On sign conditions over real multivariate polynomials CoRR (2008)
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
A parametric representation of totally mixed Nash equilibria CoRR (2007)
Daniel Perrucci, Juan Sabia
Real roots of univariate polynomials and straight line programs. J. Discrete Algorithms 5 (3) (2007)
Daniel Perrucci
Some Bounds for the Number of Components of Real Zero Sets of Sparse Polynomials. Discret. Comput. Geom. 34 (3) (2005)