Login / Signup
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.
Gabriele Buriola
Domenico Cantone
Gianluca Cincotti
Eugenio G. Omodeo
Gaetano T. Spartà
Published in:
CILC (2020)
Keyphrases
</>
theoretical framework
real life
real world
theoretical foundation
general theory
database
support vector
logic programs
shape features
information systems
case study
transitive closure