Finding a rational point on the elliptic curve y 2 = x 3 +7823.
1 4-Dimensional Variational Assimilation of Satellite Temperature and Sea Level Data in the Coastal Ocean and Adjacent Deep Sea John Wilkin Javier Zavala-Garay.
Coastal Ocean Observation Lab John Wilkin, Hernan Arango, Julia Levin, Javier Zavala-Garay, Gordon Zhang Regional Ocean.