We enrich a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument functions enjoying significant properties such as continuity and differentiability. We also pave the way to further enrichments, embodying symbols to designate certain operations on functions such as pointwise addition.
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals / Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio; Spartà, Gaetano T.. - ELETTRONICO. - 2710:(2020), pp. 231-247. ( 35th Italian Conference on Computational Logic - CILC 2020 Rende (Cosenza), Italy October 13-15, 2020).
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals
Eugenio Omodeo;
2020-01-01
Abstract
We enrich a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument functions enjoying significant properties such as continuity and differentiability. We also pave the way to further enrichments, embodying symbols to designate certain operations on functions such as pointwise addition.| File | Dimensione | Formato | |
|---|---|---|---|
|
paper15.pdf
accesso aperto
Tipologia:
Documento in Versione Editoriale
Licenza:
Creative commons
Dimensione
608.1 kB
Formato
Adobe PDF
|
608.1 kB | Adobe PDF | Visualizza/Apri |
|
ceur-ws_org index.pdf
accesso aperto
Descrizione: index
Tipologia:
Altro materiale allegato
Licenza:
Creative commons
Dimensione
117.62 kB
Formato
Adobe PDF
|
117.62 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
