Differential Equation Axiomatization
Work
Year: 2018
Type: preprint
Abstract: We prove the completeness of an axiomatization for differential equation invariants. First, we show that the differential equation axioms in differential dynamic logic are complete for all algebraic i... more
Authors André Platzer, Yong Kiam Tan
Institution Carnegie Mellon University
Cites: 12
Cited by: 24
Related to: 10
Citation percentile (by year/subfield): 95.25
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Funder National Science Foundation
Grant ID CNS-1054246