Long Qian
All publications

arXiv · 2025

Approximate Axiomatization for Differentially-Defined Functions

André Platzer and Long Qianα

Authors listed in alphabetical order.

arXiv · Preprint

PDF arXiv
BibTeX 
@misc{platzer2025approximate,
  title = {Approximate Axiomatization for Differentially-Defined Functions},
  author = {André Platzer and Long Qian},
  year = {2025},
  eprint = {2506.08233},
  archivePrefix = {arXiv}
}

Overview

An approximately complete axiomatization for bounded real arithmetic with differentially-defined functions, including sine, cosine, and the exponential function.