84 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
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…
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…
Visualizing Digital Collections
Laura Deal
Data visualizations can greatly enhance search in digital collections by providing information about the scope and context of a collection and allowing users to more easily browse…