2 papers
math.LO2026
Computability of a Whitney Extension
Andrea Brun, Guido Gherardi, Alberto Marcone
We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if is a closed set represented s…
astro-ph.IM2026
Euclid: An automated system to match Rubin transient alerts to Euclid observations
C. Duffy, I. M. Hook, C. M. Gutierrez +150
The Vera C. Rubin observatory is expected to produce 10 million transient alerts per night in ugrizy filters, whilst Euclid is a visible to near-infrared space telescope engaged in…