Long Qian
Publications
CV

Long Qian

Fifth year PhD student in logic at Carnegie Mellon University

Email
Google Scholar
ORCID

Approximate Axiomatization for Differentially-Defined Functions

Published in Preprint (Submitted), 2025

Categories: dL

Share on

Twitter Facebook LinkedIn

Follow:
Feed

© 2025 Long Qian. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.