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.
