The use of mathematical models to simulate and predict the formation and evolution of impact craters.