I guess... math programs...? Proof generators? I've been working with some mathematical code recently and read (skimmed) this whole thing, and I didn't come awa

I guess... math programs...? Proof generators? I've been working with some mathematical code recently and read (skimmed) this whole thing, and I didn't come away with any ideas. There is a link to a resource on "ordinal algebra", but it's lacking the obvious appeal of quaternions and octonions. Commenting in the hope that my ignorance inspires an insightful correction from someone who knows more Math than I do!