( en | de | ru )

 

Disambiguation of "Cincotti, Gianluca"

Author of the publication

copydeleteadd this publication to your clipboard
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.

, , , , and . CILC, volume 2710 of CEUR Workshop Proceedings, page 231-247. CEUR-WS.org, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

Gianluca Carlin

Gianluca Quintini

 

Other publications of authors with the same name

A decidable theory involving addition of differentiable real functions., , , , and . Theor. Comput. Sci., 940 (Part): 124-148 (2023)QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms., and . CIAC, volume 1767 of Lecture Notes in Computer Science, page 150-162. Springer, (2000)An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces., , , and . SIAM J. Optimization, 16 (2): 434-451 (2005)Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates., , and . J. Symb. Comput., 41 (7): 763-789 (2006)An Efficient Algorithm for the Approximate Median Selection Problem., , , , and . CIAC, volume 1767 of Lecture Notes in Computer Science, page 226-238. Springer, (2000)QuickHeapsort, an efficient mix of classical sorting algorithms., and . Theor. Comput. Sci., 285 (1): 25-42 (2002)A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals., , , , and . CILC, volume 2710 of CEUR Workshop Proceedings, page 231-247. CEUR-WS.org, (2020)A Decidable Theory Treating Addition of Differentiable Real Functions., , , , and . ICTCS, volume 3072 of CEUR Workshop Proceedings, page 150-163. CEUR-WS.org, (2021)