A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals
| Autor: | Gabriele Buriola, Cantone, D., Cincotti, G., Omodeo, E. G., Spartá, G. T. |
|---|---|
| Přispěvatelé: | Francesco Calimeri, Simona Perri, Ester Zumpano, Buriola, Gabriele, Cantone, Domenico, Cincotti, Gianluca, Omodeo, Eugenio, Spartà, Gaetano T. |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Scopus-Elsevier |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|