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 differ- entiability. 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
Cantone D.
;Cincotti G.
;Sparta G. T.
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 differ- entiability. We also pave the way to further enrichments, embodying symbols to designate certain operations on functions such as pointwise addition.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Cantone2020_DecisionRealAnalysis-paper15.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
608.1 kB
Formato
Adobe PDF
|
608.1 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.