9 citations · 17 across the 5 of their papers we have counts for
5 papers
NANCY: Next-generation All-sky Near-infrared Community surveY
Jiwon Jesse Han, Arjun Dey, Adrian M. Price-Whelan +206
The Nancy Grace Roman Space Telescope is capable of delivering an unprecedented all-sky, high-spatial resolution, multi-epoch infrared map to the astronomical community. This oppor…
Using neural networks to model Main Belt Asteroid albedos as a function of their proper orbital elements
Zachary Murray
Asteroid diameters are traditionally difficult to estimate. When a direct measurement of the diameter cannot be made through either occultation or direct radar observation, the mos…
Can the gravitational effect of Planet X be detected in current-era tracking of the known major and minor planets?
Daniel C. H. Gomes, Zachary Murray, Rafael C. H. Gomes +2
Using Fisher information matrices, we forecast the uncertainties on the measurement of a "Planet X" at heliocentric distance via its tidal gravitational field's action…
Constructive Analysis in the Agda Proof Assistant
Zachary Murray
Proof assistant software has recently been used to verify proofs of major theorems, yet even the libraries of some of the most prominent proof assistants lack much of undergraduate…
The Effects of Disk Induced Apsidal Precession on Planets Captured into Mean Motion Resonance
Zachary Murray, Sam Hadden, Matthew J. Holman
The process of migration into resonance capture has been well studied for planetary systems where the gravitational potential is generated exclusively by the star and planets. Howe…