🌀 अरेखीय विज्ञान
Analog and Symbolic Computation through the Koopman Framework
यह शोधपत्र एक एकीकृत कूपमैन ऑपरेटर ढांचे को स्थापित करता है जो रुकने (halting), पहुँच योग्यता (reachability) और निर्णय क्षमता (decidability) को आइजनफंक्शंस (eigenfunctions) और अपरिवर्तनीय उप-स्थानों (invariant subspaces) जैसी स्पेक्ट्रमी विशेषताओं से जोड़कर गतिशील प्रणालियों के गणनात्मक गुणों को अभिलक्षित करता है, जिससे ऑपरेटर-सिद्धांत संबंधी हस्ताक्षरों के माध्यम से प्रतीकात्मक और एनालॉग गणना के बीच सेतु बनाया जा सके।