2 ms·
Wolfram works with the full mathematical expression tree. It works very well in practice but the equality test is undecidable in general.
by mscharrer 5y ago
Wolfram works with the full mathematical expression tree. It works very well in practice but the equality test is undecidable in general.