CINCOTTI, Gianluca

CINCOTTI, Gianluca  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
A Decidable Theory Involving Addition of Differentiable Real Functions In corso di stampa Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano file da validare
A decidable theory of differentiable functions with convexities and concavities on real intervals 1-gen-2020 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T. file da validare
A decidable theory treating addition of differentiable real functions 1-gen-2021 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano file da validare
An Efficient Algorithm for the Approximate Median Selection Problem 1-gen-2000 Battiato, Sebastiano; Cantone, Domenico; Catalano, Dario; Cincotti, Gianluca; Hofri, M. file da validare
An efficient approximate algorithm for the 1-median problem in metric spaces 1-gen-2005 Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates 1-gen-2006 Cantone, Domenico; Cincotti, Gianluca; Gallo, Giovanni
QuickHeapsort: an efficient mix of classical sorting algorithms 1-gen-2000 Cantone, Domenico; Cincotti, Gianluca file da validare
QuickHeapsort: an efficient mix of classical sorting algorithms 1-gen-2002 Cantone, Domenico; Cincotti, Gianluca file da validare
The decision problem in graph theory with reachability related constructs 1-gen-2000 Cantone, Domenico; Cincotti, Gianluca file da validare