From Topography Profile Diagrams to the Evolution of Oceanus Borealis : Proposal of a Strategy that may result in the Formal Proof of Martian Ocean Recession, Timing and Probability

A mathematical theory of stochastic processes based strategy using recently published topography profile diagrams was proposed that may result in the formal proof of martian ocean recession, timing and probability.