# Questions tagged [resolve]

The tag has no usage guidance.

36 questions
Filter by
Sorted by
Tagged with
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
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
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
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
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: ...
1 vote
95 views

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
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
114 views

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: ...
1 vote
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 ...
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
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
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
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. ...
1k views

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

I try to plot such a thing: ...
• 625
304 views

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

The following command: ...
• 349
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
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
61 views

### Resolving logical statement returns statement as answer instead of boolean value? [closed]

I ran the following command: ...
• 175