ComputerAidedMaths

ThoughtStorms Wiki

Context: OnMathematics

Computers have been aiding maths, like, forever, of course.

I guess ProofAssistants etc.

Backlinks (2 items)

No Transclusions