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
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 in questo prodotto:
| 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.
