Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Recognizing when two arithmetic expressions are essentially the same. Parent comment
I believe this is used in symbolic solvers to prove identities; that's the context where I learned it.
There are no comments on this comment yet.
I believe this is used in symbolic solvers to prove identities; that's the context where I learned it.