13 reputation
2
bio website
location
age
visits member for 1 year, 6 months
seen Mar 7 '13 at 2:16

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.[reference.wolfram.com/mathematica/ref/TensorReduce.html](http://… 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$?