Reputation
Top tag
Next privilege 15 Rep.
Flag posts
Badges
2
Newest
 Scholar
Impact
~236 people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Feb
11
awarded  Scholar
Feb
11
accepted Can I reduce a matrix inequality such as $\mathbf x^\prime\mathbf A\mathbf x > \mathbf x^\prime\mathbf x$?
Feb
7
comment Can I reduce a matrix inequality such as $\mathbf x^\prime\mathbf A\mathbf x > \mathbf x^\prime\mathbf x$?
It seems that V9 has added some new functionality.http://reference.wolfram.com/mathematica/ref/TensorReduce.html that could possibly help.
Feb
7
comment Can I reduce a matrix inequality such as $\mathbf x^\prime\mathbf A\mathbf x > \mathbf x^\prime\mathbf x$?
Sorry, I mean it may be possible to symbolically manipulate matrices after all, I'm not sure if there are packages out there that can do this. I'll post it here if I find anything.
Feb
7
comment Can I reduce a matrix inequality such as $\mathbf x^\prime\mathbf A\mathbf x > \mathbf x^\prime\mathbf x$?
Thank you, it helps, I wasn't aware of the function "ForAll", I think a lot of work has been done at the conceptual level, e.g. a computer science challenge given in 2005 is "Formalize and verify by computer Wiles's proof of Fermat's Last Theorem"
Feb
6
awarded  Student
Feb
6
asked Can I reduce a matrix inequality such as $\mathbf x^\prime\mathbf A\mathbf x > \mathbf x^\prime\mathbf x$?