24 citations · 44 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
astro-ph.CO2026
How to augment cosmic shear measurements with radio polarimetry of galaxies?
Liang Dai, Junwu Huang, Weichen Winston Yin +2
The integral polarization of spiral galaxies in the radio band has been proposed as a new tracer of the intrinsic galaxy shape that augments lensing shear measurements. We revisit…
math.DG2026
Integral Curves and Flows on Banach Manifolds in Lean
Weichen Winston Yin, Yury Kudryashov
We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properti…