1. Definition
The term mining technology embraces all the technological methods and tools employed in extracting underground mineral resources. In the 16th century, this technology was already being systematized in a scientific framework, as is especially clear in the work of G. Agricola (1494–1555) [1], which outlined the essential areas of mining technology: sinking shafts and boring drifts, shoring, ext…