The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
47 views

Simplify Integer powers in inequalities

I have a fairly simple expression that I am surprised Mathematica (10.1) won't simplify ...
2
votes
1answer
99 views

Solve an inequality involving a sum with a parameter

Good day. I am new to Mathematica and I am looking for advice. Is it possible to solve $$\sum_{k=0}^{n} \frac{p^k}{k!}>0$$ for $n$ where $p$ is a parameter? When I do ...
0
votes
0answers
32 views

Need help with solving inequality under assumptions

I seriously need help for my research. I need to solve an inequality with several assumptions. I tried many times with Reduce but it did not work out properly. Sometimes the results I get are simply ...
1
vote
1answer
69 views

Reduce with for all and implies

I have the following question. p1 = a (1 - c + a) p2 = b (1 - c - b)/((1 - b)^2) v1 = (x^1.5 - 3*x)*p1 v2 = x*p2 I want to find x ranges which makes v1>v2 under ...
-1
votes
1answer
64 views

Find a minimum value which satisfies an equation

I have to find a minimum value of "a" which makes x=-a+b+c, y=-a+b+c^2 positive where a>1, 0 ...
0
votes
1answer
42 views

Trouble in finding instances of values of variables that satisfy an inequality

Consider the following mathematical expression with complex numbers (phasor) and two variables (lambda and ia2): ...
4
votes
1answer
141 views

How to solve a conditional inequality?

I am trying to use Mathematica to solve a conditional inequality. Find all (real) numbers $a$ and $b$ such that $|a| + |b| \ge 2/ \sqrt{3}$ and for any real $x$ the inequality $ |a\sin x + b \sin ...
4
votes
1answer
160 views

Does `Reduce` give complete and necessary conditions?

I want to obtain a solution for a system of five inequalities. For instance, ...
6
votes
1answer
74 views

How to simplify expressions by closing open inequalities?

Recently I have often acquired results which consist of combinations of 0, 1 and 2-dimensional (in)equalities. For instance, consider a very simple case with ineq1 ...
0
votes
0answers
62 views

Compare two real finite numbers

Let us suppose we have two real numbers for which the following two inequalities hold at the same time: $$x^2 + y^2 > 2\ x\ y$$ $$x^2 - y^2 > 2\ x\ y$$ These yield $x > 2$ y and $y > ...
1
vote
0answers
43 views

Inequality involving Quantity stays unevaluated

Mathematica 10.1.0, Windows 8.1 x64 An expression like this one a < x < b is represented as Less[a, x, b] while ...
3
votes
4answers
114 views

Find the volume of the region defined by $|x|+|y|+|z|<4$

I want to find the volume of the region defined by the following inequality: $\quad \quad |x|+|y|+|z|<4$ In addition to calculating the volume of this region, I would also like to be able to ...
1
vote
0answers
47 views

How to speed up geometric Resolve query involving $\exists$ and $\forall$?

I would want to test connectedness of semialgebraic sets with naive code like this: ...
4
votes
1answer
239 views

How to draw a tropical surface?

By definition, a tropical surface in $\mathbb R^3$ is the set of points $(x,y,z)$ where the maximum $f=\max(f_1,f_2,\dots,f_n)$ is attained at least twice, here $f_i$ stand for some linear functions ...
0
votes
2answers
58 views

Proving simple inequality

I have a simple function and want to make sure that it satisfies an inequality over a certain range of parameters. My approach is: ...
0
votes
3answers
106 views

Filtering the output from Table and export it into excel

I have the following functions ...
5
votes
2answers
363 views

Is there an inequality operator (Less, Greater) for lists of elements (as opposed to elements)?

Like multi-column sorting. For example, {1,3,5} > {1,2,5} would return True, while ...
2
votes
2answers
66 views

Reduce and roots of an irrational inequality

I use command Reduce to solve an inequality. First, I used Reduce[Sqrt[4 x + 5] - Sqrt[-6 x + 10] <= Sqrt[2 x - 1], x] and ...
1
vote
1answer
58 views

Replacing Logic operator List and generate combination of variables

so I'm trying to do the following starting from a list of inequalities: ...
2
votes
0answers
130 views

Proving large inequality in 6 variables

I have arrived at a very large inequality in 6 variables that I would like to prove is true. The command I have tried is the following: ...
3
votes
0answers
75 views

cut and project tilings — Amman Beenker tilings

A certain research paper gives a recipe for building Amman-Beenker tilings as a special type of cut-and-project algorithm. The result is usually a pleasant kind of aperiodic tiling shape. The ...
1
vote
1answer
113 views
2
votes
0answers
91 views

How does Mathematica resolve symbolic systems of inequalities?

Before getting into my (probably annoying) question, let me provide some context: I recently started using Mathematica to automatically perform stability analyses that I previously did by hand. A ...
1
vote
0answers
48 views

Simplifying an inequality inside an answer by parts

I have the following piece of code where I'm evaluating a probability of a variable v being greater than some threshold under a Uniform distribution. ...
0
votes
2answers
72 views

Why Mathematica cannot tell if Sqrt[Abs[u0^2 + v0^2/b^2]] is positive?

In the code below I was careful to declare all variables as real and to use Refine. Still, Mathematica cannot tell that a sum of squares is a positive number. What am I missing? Thanks to ...
3
votes
4answers
395 views

Solving puzzles with Mathematica

I would like to be able to solve logic puzzles such as the one described here using Mathematica. I have copied & pasted the listed example below to save on jumping about with hyperlinks: The ...
2
votes
3answers
101 views

Remove all “not equal” clauses from an expression

I am banging my head against the following question: how can I have Mathematica take cond = 2 a >= 3 b && 70 a >= 19 && 20 a != 13; and ...
2
votes
2answers
271 views

Given a system of inequalities, how to make Solve find out that two variables should be equal?

Given two boolean variables x1 and x2 (in the sense that they are in the range [0,1]), if I try to solve the following equation system with Solve: ...
1
vote
1answer
134 views
4
votes
1answer
451 views

How to find the integer solution number of a linear system with inequalities?

I have the following system with mixed equality and inequalities defined as: ...
6
votes
3answers
359 views

How to count the integer grid numbers defined by inequalities?

I have the following code to show a red area defined by inequalities: ...
4
votes
3answers
185 views

Regarding how to use Reduce

Say for example I am doing the following in Mathematica ...
0
votes
1answer
215 views

Finding maximum/minimum value of system of inequalites

How would I get the maximum values for x1 and x2 given that I have plotted the region governed by the following system of ...
5
votes
1answer
101 views

Is there a way to check inequalities in Mathematica given restrictions?

Sorry if I'm still a noob, but is there a way to check inequalities in mathematica given some restrictions? For example how could one go about checking whether: Given $a,b,c\in\mathbb{R}$ and ...