Axiomatization of compact initial value problems: open properties

DOI10.1145/3763228MaRDI QIDQ6869435zbMATH OpenFDO

Authors André Platzer, Long Qian

Publication date 22 January 2026

Published in Journal of the ACM (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

invariantsdifferential dynamic logicdifferential equation axiomatization

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Nonlinear ordinary differential equations and systems (34A34) Theoretical approximation of solutions to ordinary differential equations (34A45) Logic in computer science (03B70)

This page was built for publication: Axiomatization of compact initial value problems: open properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6869435)