84 citations
2 papers
cs.LO2020
Quadratic Extensions in ACL2
Ruben Gamboa, John Cowles, Woodrow Gamboa
Given a field K, a quadratic extension field L is an extension of K that can be generated from K by adding a root of a quadratic polynomial with coefficients in K. This paper shows…
astro-ph.EP2014★ 84 cited
Water Trapping on Tidally Locked Terrestrial Planets Requires Special Conditions
Jun Yang, Yonggang Liu, Yongyun Hu +1
Surface liquid water is essential for standard planetary habitability. Calculations of atmospheric circulation on tidally locked planets around M stars suggest that this peculiar o…