It's totally different: those formalisms are in a workbench, following a set of rules that either work or not.

So, yes, that (math) is representative of the actual process: pattern recognition gives you spontaneous ideas, that you assess for truthfulness in conscious acts of verification.