{"id":"arxiv/2606.10138","url":"https://arxiv.org/abs/2606.10138","tags":["math.NA"],"score":0,"title":"Bridging Scales: Asymptotic Analysis and AI-Assisted Formalization","domain":"math.NA","source":"arxiv","authors":["Xu Yang"],"reviews":0,"subject":"math.NA","summary":"Asymptotic analysis is one of the classical tools for bridging models across scales. Behind many such derivations lies a common symbolic structure: an ansatz, a substitution, an order-by-order matching procedure, and the extraction of effective equations or interface conditions. This article revisits that structure through two representative bridges: the kinetic-to-fluid limit, illustrated by radiative transfer with interface layers and by neural-network approximations of Boltzmann equations, and the quantum-to-classical limit, illustrated by the Frozen Gaussian Approximation and its Dirac…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}