@misc{indiciae8c961fd332b1,
  title = {Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates},
  author = {Domenico Cantone and Gianluca Cincotti},
  year = {2024},
  url = {https://arxiv.org/abs/2412.16091},
  note = {Source identifier: 2412.16091}
}