The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
23 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
38 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
51 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
41 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
136 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
151 views

Does `Reduce` give complete and necessary conditions?

I want to obtain a solution for a system of five inequalities. For instance, ...
5
votes
0answers
46 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
53 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
102 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
45 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
232 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
99 views

Filtering the output from Table and export it into excel

I have the following functions ...
5
votes
2answers
360 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
65 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
52 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
123 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: ...
1
vote
0answers
64 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
100 views
2
votes
0answers
89 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
47 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
70 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
388 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
96 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
244 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
116 views
4
votes
1answer
415 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
349 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
179 views

Regarding how to use Reduce

Say for example I am doing the following in Mathematica ...
0
votes
1answer
206 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 ...