Accepted · CSL · 2027
Linear Axiomatization of Linear Differential Equations
EACSL Annual Conference on Computer Science Logic (CSL) · To appear
BibTeX
@inproceedings{qian2027linear,
title = {Linear Axiomatization of Linear Differential Equations},
author = {Long Qian and André Platzer},
year = {2027},
booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)},
note = {Accepted, to appear}
}Overview
A complete axiomatization for open properties of linear differential equations on compact initial sets and time horizons, reducing proofs to linear real arithmetic.
Accepted for publication. A public preprint is not yet available.