Wiktionary
implicitization
n. (context mathematics English) The act of rendering something implicit