# Questions tagged [findinstance]

The tag has no usage guidance.

68 questions
Filter by
Sorted by
Tagged with
1 vote
147 views

### How to return only the negative complex solutions of DSolve or using FindInstance?

I am using DSolve to find the solutions to two differential equations. The problem is from the first solution, I only want the solution that includes a negative ...
54 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
50 views

...
27 views

### How to solve inequality equations of kappa modifiers using FindInstance command?

Here, ub are signal strength values while ube is error value. similarly, other values. THbb and other are higgs decay width values. these values are required values for making inequalities mentioned ...
202 views

### How can I formulate this simple mathematical riddle into a computable Wolfram Language query?

I'm trying to formulate the below question into a computable wolfram language solution, but can't seem to get it right. Question: Place three piles of matches on a table, one with 11 matches, the ...
248 views

### How can I reduce the time to compile this solve?

I want to find five integer numbers $a, b, c, d, e$ so that $a+ b+ c + d + e = 9 k$ and none of two number in which are equal. I tried. ...
83 views

### How can we find the appropriate values of unknowns such that the following expression must be a real number? FindInstance

Question: I have some mathematical functions including various parameters. I want to find instances for the parameters such that the function must be in a real domain after substituting the values of ...
76 views

### Finding only non-negative roots with FindRoot

Given an arbitrary function F, how do I force FindRoot to look only for non-negative roots, returning nothing otherwise?
1 vote
69 views

### Finding the similarity transformation between two symbol matrices

I have two symbol matrices mA and mB, which are similar matrices. ...
70 views

### Can I use FindInstance to prove an algebraic identity?

This question arose from a [now removed] MathOverflow discussion, where a Null result from a FindInstance query was used to prove that $f(x_1,x_2,\ldots x_n)\neq 0$ has no solution in $\mathbb{R}$. My ...
1 vote
51 views

### Calculating eigenvalues and solving inequalities with parameters

I would like to calculate b in terms of c and a, in order to satisfy the following conditions: ...
50 views

### An error occurred while using FindInstance to find a matrix that meets the constraint conditions

I want to use MMA to prove an exercise in textbook: mA is a n-level square matrix. Proof: mA.mA==mA is true if and only if ...
112 views

### Mathematica generating 'incorrect' Cuboids

Mathematica 13.1 for some reason gives an error for the following code: ...
1 vote
93 views

47 views

### Tips to help FindInstance with a lot of complicated inequalities

I'm trying to find a numerical instance (I don't need arbitrarily high precision) of solution to 7 relatively complicated inequalities (plus the region specification) involving 8 variables. The ...
95 views

### Defining new Domain for variables

I am trying to define a new Domain for variables to use with functions like FindInstance or Solve. For example, If I wanted to solve x+y+z=1 over the Reals, I'd get a large solution space. But If I ...
73 views

### How to calculate multiple solutions from big to small with FindInstance funtion

I want to find the nearest 50(or 80, even 100)solutions under 1.4628 from big to small, I tried FindInstance function in MMA, but still cannot get the desired results I need.Here is my code: ...
186 views

### Finding all solutions to coupled algebraic equations without exhaustive enumeration

A Cambridge University mathematics interview question states: Find all $a,b,c,d,e,f \in \mathbb{N}$ such that $$a + b + c = d \cdot e \cdot f$$ and $$d + e + f = a \cdot b \cdot c$$ (There are a ...
151 views

### Elementary number theory problem and FindInstance

Find $\{ m,n \} \in \mathbb{Z}$ such that $m \neq n$ and $m^n = n^m$. This has (unordered) solutions $\{ 2, 4 \}$ and $\{ -2, -4 \}$, as can be easily checked. I'm of course hoping for an analytic ...
182 views

### Solve equation with summation and factorial over Integers

Find all $\{ m, n \} \in \mathbb{Z}^+$ such that $$\sum\limits_{k=1}^m k! = n^2 .$$ The two solutions are $\{ m,n \} = \{ 1,1 \}$ and $\{ 3,3 \}$, as can be confirmed. Here is how to solve this ...
133 views

### Find smallest instance satisfying certain inequalities

I need a "clean" way to find the smallest solution to some (in)equalities given by Reduce and containing only one variable ...
1 vote
99 views

### Control evaluation for functional constraints

I'm trying to understand how to use Mathematica to find a solution subject to constraints, where one of the constraints is specified as a predicate function. But I don't know how to control evaluation ...
61 views

### Restrict FindInstance to exact value

I would like to restrict the FindInstance function to exact values (ex. 2Pi/3) The following doesn't work ...
1 vote
61 views

### Why does FindInstance refuse to find a second instance, in a number theory problem?

Hi I am looking for reversible Markov generating matrices of order three, whose upper (2,2) block has integer eigenvalues. There are 5 free parameters; I specified 2 ...
107 views

### Does FindInstance traverse the entire domain?

If the result of FindInstance[expr<=0,vars,dom] is empty set, can it mean that expr is always greater than ...
1 vote
88 views

1 vote
109 views

### Solve inequalities

I use FindInstance to find a set of real parameters to satisfy the following inequality $-3 c_{11}-k_4^2-k_7^2-k_9^2>0$,  -4 \alpha^6+84 \alpha^5-721 \alpha^4+3228 \alpha^3-7924 \alpha^2+10080 \...
1 vote
185 views

...
139 views

### How can I find some values for which an expression is real?

I've a complicated expression which depends on several variables. I want to find some values for those variables such that the complicated expression is real. How can I do that? The obvious command ...
67 views

### Turning FindInstance into True or False

I have a function where I input a certain vector of parameters and it gives me the output of 16 FindInstances. So, a typical output will look something like this ...
67 views

### Finding a solution to a modular problem efficiently

I want to find a naïve hash function of the form Mod[a x + b, 2^p] which would produce a value less or equal to v for all ...
222 views

### Why does FindInstance take so long: It is faster with more restrictions than with less?

A support case with the identification [CASE:4347836] was created. I just noted this little puzzle on twitter by Brillant.org: \begin{align} A B C\\+ BCA\\ = CDE \end{align} Given that $A$ is even ...
54 views

### FindInstance confused by CoprimeQ

For some reason when I type FindInstance[a + b == c && CoprimeQ[a, b, c] == True, {a, b, c}, Integers] Mathematica just immediately returns my input as ...