Establishes completeness of axiomatization for robust safety of polynomial DE systems on bounded horizons, reducing to polynomial invariants with approximate decidability via subanalytic geometry.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
representative citing papers
A new complete gauge fixing at initial data via Hodge decomposition on complete Riemannian manifolds enables existence proofs for Hadamard states in the quantization of Maxwell theory on globally hyperbolic Lorentzian manifolds.
citing papers explorer
-
On the Quantisation of Linear Gauge Theories on Lorentzian Manifolds: Maxwell's Theory via Complete Gauge Fixing
A new complete gauge fixing at initial data via Hodge decomposition on complete Riemannian manifolds enables existence proofs for Hadamard states in the quantization of Maxwell theory on globally hyperbolic Lorentzian manifolds.