1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
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…
astro-ph.EP2022
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…