A decidable theory involving addition of differentiable real functions

DOI10.1016/j.tcs.2022.10.045OpenAlexW4308195785MaRDI QIDQ2699966

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

Publication date: 20 April 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2022.10.045

zbMATH Keywords

decidable theoriesfunctions of a real variableTarski's elementary algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Decidability in elementary analysis. II
• Complexity of deciding Tarski algebra
• Decidability in elementary analysis. I
• Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
• Decision algorithms for some fragments of analysis and related areas
• Computational Logic and Set Theory
• Some undecidable problems involving elementary functions of a real variable
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A decidable theory involving addition of differentiable real functions