Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Cincotti, Gianluca"'
Autor:
Buriola, Gabriele, Cantone, Domenico, Cincotti, Gianluca, Omodeo, Eugenio G., Spartà, Gaetano T.
Publikováno v:
In Theoretical Computer Science 9 January 2023 940 Part A:124-148
Autor:
Cantone, Domenico cantone@dmi.unict.it, Cincotti, Gianluca1 cincotti@dmi.unict.it, Gallo, Giovanni1 gallo@dmi.unict.it
Publikováno v:
Journal of Symbolic Computation. Jul2006, Vol. 41 Issue 7, p763-789. 27p.
Publikováno v:
Scopus-Elsevier
This paper enriches a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument real functions endowed with continuous first derivative. In its present (still quantifier-free) version,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f1c8eb17236e7700f30b13209dd6cd4
http://hdl.handle.net/11368/3005853
http://hdl.handle.net/11368/3005853
Publikováno v:
Scopus-Elsevier
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13fa0d83e24a1152814512dc1422d058
https://hdl.handle.net/11368/2978349
https://hdl.handle.net/11368/2978349