Daniel Perrucci
According to our database1,
Daniel Perrucci
authored at least 12 papers
between 2005 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
J. Symb. Comput., 2022
2017
Elementary recursive quantifier elimination based on Thom encoding and sign determination.
Ann. Pure Appl. Log., 2017
2014
A Probabilistic Symbolic Algorithm to Find the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set.
Discret. Comput. Geom., 2014
2013
On the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set and Applications.
SIAM J. Optim., 2013
2011
2010
J. Symb. Comput., 2010
2009
Comput. Math. Appl., 2009
2007
J. Discrete Algorithms, 2007
2005
Discret. Comput. Geom., 2005