I have a formulation of a mathematical optimization programme, but when I input it into a computational solver I get no solution, and I checked and double checked every constraint and equation with detailed derivations. Maybe there is a contradiction between some of the mathematical statements. I would check myself however the problem is there is
207 mathematical Statements in total so I can't do this manually, or I can do it and jump from a bridge after LoL.
PLZ recommend me a software which can analyse the internal consistency of such sets of mathematical statements, thank you.
207 mathematical Statements in total so I can't do this manually, or I can do it and jump from a bridge after LoL.
PLZ recommend me a software which can analyse the internal consistency of such sets of mathematical statements, thank you.