rigorization
Etymology
From rigor + -ization.
noun
Conversion into a mathematically rigorous form.