I'm currently searching for a software that can help test general statement that can also handle matrices. I want to be able to input an expression with several unknowns e.g. given the general expression A=B*C (with different unknowns inside), then have the option of trying different values of the unknowns and see if the statement is valid. Basically, what I want to do is to test the range of values of unknowns for which the statement is valid.
Do you guys know a program that can do that (or some ways)?