Re:Matrix Calculus
by chillydawg on Saturday November 18, 2017 @04:20AM
(#15728368)
Mathematica can probably do that
[ Parent
| on HN ]
Correct:
Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplify