Questions tagged [resolve]
The resolve tag has no usage guidance.
36
questions
0
votes
0
answers
25
views
Resolve ForAll does not work while FindInstance does not find any counter example
I have some implication equations. need to check and verify, so i used Resolve forall. but it just returns me the same relation, seems does not work or a problem exists. so then I tried to find if ...
- 351
1
vote
1
answer
146
views
Solving equation set with vectors
I have six unit vectors in real $3$D space
v1,v2,v3,v4,v5,v6;
Represent the dot product between some of the vectors as the Cos ...
- 270
0
votes
0
answers
58
views
Exclude a term in a differential equation
How can I exclude this term (The red box) from derivation to make it consider it as a constant (Just a constant to be multiplied ), I am getting the differentiation for the whole equation but I want a ...
- 37
0
votes
2
answers
122
views
Find the $z$ such that $|z + a| \leq |z| + |a|\cos(\arg(z))$
Find the $z$ such that $|z + a| \leq |z| + |a|\cos(\arg(z))$. My approach is to use Resolve:
...
- 233
1
vote
1
answer
71
views
how we can extract the value of the solution of a PDE in a point x? (NDSolve) [closed]
Please I need your help, I calculate the solution of heat equation using methode of line
This is my code:
...
- 99
1
vote
1
answer
95
views
Reduce/Resolve without roots/radicals
Is there a way to convince Mathematica to perform quantifier elimination on a semialgebraic set and yield a resulting semialgebraic set whose representation does not involve any roots or radicals, i.e....
- 389
1
vote
0
answers
34
views
What does it mean by the Alternatives symbol a|z? [closed]
The following very simple code
Resolve[Exists[{x}, x == 3 && a + z < x ]]
gives the result
...
- 909
2
votes
3
answers
114
views
How to solve this inequality correctly?
Find the value range of real number a, so that for any real number x and $\theta \in\left[0, \frac{\pi}{2}\right]$, make $(x+3+2 \sin \theta \cos \theta)^{2}+(x+a \sin \theta+a \cos \theta)^{2} \...
2
votes
7
answers
282
views
Please help me write my Formula [closed]
Suppose I have this nestlist t={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} How to calculate c=t(i)+t(i+1)
0
votes
0
answers
48
views
Making a equation smaller and more readable by using another variable [duplicate]
I am deriving an expression and the output of it is a very long mathematical expression. I want to minimize the equation by substituting some other variables. For example:
This is just an example ...
- 146
2
votes
1
answer
106
views
Resolve Error or Mathematica's Bug?
The following code,
Resolve[Exists[{n1, n2, n3}, {n1, n2, n3} \[Element]
NonNegativeIntegers,
1/2 (1 + n1 + n2 - n3) \[Element] NonPositiveIntegers]]
...
- 1,018
1
vote
1
answer
59
views
Parse coefficients from a Resolve output
I have a huge output from Resolve (quantifier elimination) that I must parse to extract the coefficients as numbers. Take for instance something that looks like ...
- 85
0
votes
0
answers
173
views
the number of equation does not match the number of variables
Excuse me , can you help me , please ?
When i make run for this programme it give me a wrong that the number of equations does not match the number of variables ,,,, I try a lot on finding the wrong ...
- 69
1
vote
1
answer
83
views
Find the condition under which an inequality holds
I've got an inequality of 8 non-negative parameters (arising from a 5x5 matrix) and would like to find a condition under which my inequality holds. The condition would be an inequality too of these ...
- 85
6
votes
3
answers
204
views
Verify an inequality of many parameters
I've got an inequality of 10 non-negative parameters (arising from a 5x5 matrix) and would like to verify whether it holds. I tried the following, which doesn't seem to work:
...
- 85
0
votes
1
answer
101
views
correct use of the command FindInstance
I have tried to solve this system for numbers that go from 1 to 10 non-repeated integers, this occurs to me
...
- 480
1
vote
1
answer
141
views
How to calculate unknown function in a equation analyticaly? [closed]
I want value of u1 in terms of T1. How i will be abel to do this?
...
- 47
2
votes
3
answers
179
views
Validating an inequality
I want to show that:
$$
\forall a, b \in \mathbb{R}^+_0,\quad
1+a^{2017}+b^{2017} \geq a^{10}b^7+a^7b^{2000}+a^{2000}b^{10}
$$
I used Simplify and then ...
- 162
2
votes
1
answer
113
views
Can Mathematica Resolve this inequality?
I want Mathematica to Indicate this inequality is (hopefully) true for all values that meet the initial conditions:
a+b+c=1 and a,b,c are positive real numbers
...
- 162
2
votes
3
answers
210
views
How do I solve this equation with Mathematica? [closed]
I've used Solve, Reduce, and NSolve, but I don't get anything
$$
\frac{w^{3w-20}-w^{w}}{w^{...
- 2,145
0
votes
1
answer
72
views
Get Conditions for Variable to be Real
I have a complex definition of a few variables (that I got using s = Solve[1 - a x^2 - x^3 == 0, x]) and I now want to know under what conditions of "a" will each ...
- 3
3
votes
1
answer
323
views
How to define a custom domain?
Is there a way in Wolfram language to define a domain by explicitly listing it as a set.
For example given a function g as follows:
...
- 8,105
0
votes
1
answer
88
views
Why is Resolve not reducing my set?
I tried to run the following code to get the region where (v,b,r) satisfies some complicated set of inequalities.
...
- 35
0
votes
0
answers
67
views
How to check if two subspaces are conjugate?
I want to check if there exists an element $g \in SL(2,\mathbb{R})^2$ such that $Ad(g) \mathfrak{h} = \mathfrak{h}_\lambda$ for some given subalgebras $\mathfrak{h},\mathfrak{h}_\lambda \subset \...
0
votes
1
answer
567
views
Resolve, Solve, Refine, etc., do not work, but Wolfram|Alpha does
As a teacher, I am trying to show some step-by-step execution. (Any help with tools would be most appreciated.)
Related, I cannot get the following to work:
...
- 917
1
vote
0
answers
77
views
Does `Resolve` not work with exponents?
I do not think I truly understand how Resolve is working despite reading the documentation and various posts on this stack exchange. For example, why is this ...
- 253
4
votes
0
answers
110
views
How to use Resolve to prove ForAll function
I want to prove that
∀n ∈ N，Mod[9^n - 8 n - 1, 64] == 0
I think I should use Resolve to prove it
...
- 169
5
votes
2
answers
105
views
Resolve returns False on two contradicting statements
I'm trying to prove an inequality using Mathematica. This is the code leading to the inequality:
...
- 151
1
vote
1
answer
85
views
solve equation with integer maximum [closed]
how to solve with Mathematica
a)$ \left [\kern-0.10em\left[
5 x
\right]\kern-0.15em\right] = 2x+1$
b) $ \left [\kern-0.10em\left[1/
5 x
\right]\kern-0.15em\right] > 2x+1$
EDIT = double ...
- 2,145
2
votes
2
answers
581
views
Projection of a 4D region defined by function on 3D region
I am trying to project a 4D region defined by a function onto a 3D region so I could visualize it. I am trying to use Resolve to achieve this but it is not working. ...
2
votes
2
answers
1k
views
RegionPlot3D with Resolve: error: "...must be a Boolean function"
I try to plot such a thing:
...
- 625
2
votes
1
answer
304
views
Quantifier elimination by using Resolve outputs a formula that is "too complicated"
The following command:
...
- 349
2
votes
1
answer
114
views
Resolve assuming $x$ is real when $x$ is a free variable in a ForAll expression
I am using Mathematica to check whether a function is positive semidefinite. I have come upon an odd situation. Namely, when I input
...
- 21
1
vote
2
answers
164
views
Resolve does not resolve this statement with quantifier
I'm trying to use Resolve to get a condition on a parameter for which the statement is true, but it doesn't look like it's working:
...
- 23.2k
0
votes
1
answer
61
views
Resolving logical statement returns statement as answer instead of boolean value? [closed]
I ran the following command:
...
- 175
4
votes
0
answers
66
views
Something wrong in `Resolve`?
In[17]:= Resolve[ForAll[x, Sqrt[x] \[Element] Reals, x >= 0]]
Out[17]= False
I have tried to simplify an expression, but could not get the result I want. Then ...
- 1,638