Mathematics is filled with conjectures that involve infinite recursive structure, representing complex structures and underlying deep relationships. Discovering such conjectures is crucial for ...
The NonLinLoc (Non-Linear Location) package is a set of programs for velocity model construction, travel-time calculation and probabilistic, non-linear, global-search earthquake location in 3D ...