A decidable theory involving addition of differentiable real functions

Open Webpage

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Published: 01 Jan 2023, Last Modified: 03 Jul 2025Theor. Comput. Sci. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•A formal language RDF* concerned with differentiable real functions is proposed.•The class of differentiable functions treated is closed under addition.•The expressive power of RDF* is illustrated through a gallery of examples.•A satisfiability-preserving algorithm reducing RDF* formulas into an existential sentence of Tarskian algebra is presented.•The correctness of the reduction algorithm is reported.