Questions tagged [resolve]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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: ...
user avatar
  • 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: ...
user avatar
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....
user avatar
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 ...
user avatar
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} \...
user avatar
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)
user avatar
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 ...
user avatar
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]] ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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: ...
user avatar
  • 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 ...
user avatar
  • 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? ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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^{...
user avatar
  • 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 ...
user avatar
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: ...
user avatar
  • 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. ...
user avatar
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 \...
user avatar
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: ...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 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: ...
user avatar
  • 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 ...
user avatar
  • 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. ...
user avatar
2 votes
2 answers
1k views

RegionPlot3D with Resolve: error: "...must be a Boolean function"

I try to plot such a thing: ...
user avatar
  • 625
2 votes
1 answer
304 views

Quantifier elimination by using Resolve outputs a formula that is "too complicated"

The following command: ...
user avatar
  • 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 ...
user avatar
  • 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: ...
user avatar
  • 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: ...
user avatar
  • 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 ...
user avatar
  • 1,638