Publications/Preprints

Logic for Differential Equations:

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer and Matthias Althoff.
International Conference on Integrated Formal Methods (iFM). (2025)

Approximate Axiomatization for Differentially-Defined Functions
André Platzer and Long Qian.
Preprint (Submitted). (2025)

Axiomatization of Compact Initial Value Problems: Open Properties
André Platzer and Long Qian.
Journal of the ACM (JACM). (2024)

Computability:

The Geometry of Computable Banach Spaces
Rod Downey, Noam Greenberg, Long Qian and Ruofei Xie.
Submitted. (2025)

Some Open Questions and Recent Results on Computable Banach Spaces
Rod Downey, Noam Greenberg and Long Qian.
Computability in Europe (CiE). (2024)

Computability-theoretic complexity of effective Banach spaces
Long Qian.
Master Thesis. (2022)

Computer-Assisted Mathematics:

Unfolding Boxes with Local Constraints
Long Qian, Eric Wang, Bernardo Subercaseaux and Marijn Heule.
Conference on Automated Deduction (CADE-30). (2025)

Automated Symmetric Constructions in Discrete Geometry
Bernardo Subercaseaux, Ethan Mackey, Long Qian and Marijn Heule.
Conference on Intelligent Computer Mathematics (CICM). (2025)

Miscellaneous:

Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms
Long Qian and Felix Weilacher.
Preprint. (2022)

Efficient Sink-Reachability Analysis via Graph Reduction
Jens Dietrich, Lijun Chang, Long Qian, Lyndon M Henry, Catherine McCartin and Bernhard Scholz.
IEEE Transactions on Knowledge and Data Engineering. (2021)