Questions tagged [resolve]
The resolve tag has no usage guidance.
43 questions
2
votes
2
answers
121
views
How to find conditions on parameters, for a system to admit solutions?
I have the following easy equations for positive variables and parameters
...
- 2,166
0
votes
1
answer
61
views
2
votes
2
answers
202
views
Find Conditions for a Cubic to Have Three Positive Roots Without Root Objects
According to this question, the solutions to the equation $x^3 + p x^2 + q x + r = 0$ ($p, q, r \in \mathbb R$) are positive iff $p < 0$, $q > 0$, $r < 0$, and $-27 r^2 - 2 p {\left(2 p^2-9 q\...
- 567
3
votes
2
answers
161
views
Solving three equations with two unknowns with constant parameters
I have the following two equations: 'r1andr2. Here,n, x, ...
- 575
2
votes
1
answer
122
views
Solve equation for one variable
I have the following two equations,
di - (39.18 (0.07 + 2.61 (de + di)^0.28) +
1891.93 (de - di)^0.218)/(0.0119 + 0.0626 (de + di)^0.28)=0
and
...
- 877
5
votes
1
answer
127
views
Why do Resolve and ForAll fail with trigonometric expressions?
Why Resolve is not able to solve this problem? Similarly Solve and Reduce are not able to do ...
- 25.1k
0
votes
0
answers
55
views
Problem in solving the non-linear equation
Is there any other way to solve an equation rather than solve command also without findroot command in Mathematica? Because the Solve command is not returning any ...
1
vote
3
answers
349
views
Solution at a particular point
I have an equation
y[a, b, x] = a^2 b x^-2 (Exp[b/x] - 1)^-1
and when I plot, it gives the expected curve as shown in the image attached.
I need to find the value ...
- 117
1
vote
1
answer
201
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 ...
- 580
0
votes
0
answers
69
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
1
vote
2
answers
161
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:
...
- 273
1
vote
1
answer
112
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:
...
- 193
1
vote
1
answer
138
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....
- 487
1
vote
0
answers
41
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
...
- 1,053
3
votes
3
answers
138
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
287
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
49
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 ...
- 156
2
votes
1
answer
127
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,122
1
vote
1
answer
70
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 ...
- 125
0
votes
0
answers
379
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
402
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
392
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
109
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
...
- 500
1
vote
1
answer
241
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
183
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
125
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
211
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,355
0
votes
1
answer
179
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
626
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:
...
- 9,751
0
votes
1
answer
91
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
74
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
679
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:
...
- 1,225
1
vote
0
answers
99
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
144
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
...
- 179
5
votes
2
answers
114
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
90
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,355
3
votes
2
answers
732
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
2k
views
RegionPlot3D with Resolve: error: "...must be a Boolean function"
I try to plot such a thing:
...
- 697
3
votes
1
answer
397
views
Quantifier elimination by using Resolve outputs a formula that is "too complicated"
The following command:
...
- 369
2
votes
1
answer
125
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
189
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:
...
- 27.2k
0
votes
1
answer
68
views
Resolving logical statement returns statement as answer instead of boolean value? [closed]
I ran the following command:
...
- 175
4
votes
0
answers
71
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,943