Download

Recently, mathematical approach was proposed providing a way to compute how deep Martian ocean was during each period of the planet history, including the probability that ocean existed once. An important step toward the formal proof of Martian ocean recession, timing and probability is representation of Martian topography and related values, in the form of topography profile diagrams. For this purpose, algorithms for computing crater altitude according to the topography, center coordinates and radius of impact crater r are of importance.