Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.

# Questions tagged [resolve]

The tag has no usage guidance.

17 questions
Filter by
Sorted by
Tagged with
31 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 ...
88 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: ...
73 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. ...
39 views

### On the variables used by ForAll

I have the following system of inequalities: test = (1+a>=b)&&(a>=0)&&(1+a+b>=0) So if I use the following code: ...
53 views

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 \... 1answer 309 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: ... 0answers 55 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 ... 0answers 93 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 ... 2answers 83 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: ... 1answer 71 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 ... 2answers 399 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. ... 2answers 618 views ### RegionPlot3D with Resolve: error: “…must be a Boolean function” I try to plot such a thing: ... 1answer 203 views ### Quantifier elimination by using Resolve outputs a formula that is “too complicated” The following command: ... 1answer 99 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 ...
140 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: ...