News for hackers. Stuff that matters.
Re:Matrix Calculus by chillydawg on Saturday November 18, 2017 @04:20AM (#15728368)
Mathematica can probably do that
Re:Matrix Calculus by Smaug123 on Saturday November 18, 2017 @06:15AM (#15728598)
Correct:

    Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplify
Re:Matrix Calculus by glinia on Saturday November 18, 2017 @03:05PM (#15730395)

  [In] FullSimplify[expr1 == expr2]

  [Out] True