Approximate Axiomatization for Differentially-Defined Functions

MaRDI QIDQ7180474arXivFDO

Authors André Platzer, Long Qian

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03) Algorithms with automatic result verification (65G20) Error bounds for numerical methods for ordinary differential equations (65L70)

arXiv classification

cs.LO

This page was built for publication: Approximate Axiomatization for Differentially-Defined Functions

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