User Portlet
| Discussions |
|---|
| Does anyone know when 12.1 will come to Wolfram|Alpha Notebook Edition? |
| What am I doing wrong here? axiom0 = ForAll[{x, y}, ForAll[z, Implies[Equivalent[z\[Epsilon]x, z\[Epsilon]y], x == y]]] seta = {1, 2, 3}; setb = {3, 2 , 1}; FindEquationalProof[seta == setb, axiom0] I am attempting to... |
| TIA!! I think main problems are defining such a function. |
| The basic idea is that I want to define a function whose number of variables depends on the size of an imported spreadsheet. This might be thousands of variables. While working on an optimization problem, I encountered this problem: I need to... |