The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
16 views

solving an inequality

I guess this is rather trivial. I want to solve the following inequality 1/(2 n + 2)! < 10^(-6) What I did is ...
2
votes
1answer
34 views

How to solve this conditional inequality with Mathematica?

I am trying to solve with Mathematica (see here for more info) 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
145 views

Does `Reduce` give complete and necessary conditions?

I want to obtain a solution for a system of five inequalities. For instance, ...
4
votes
0answers
31 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
51 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
40 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
90 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
43 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: ...
3
votes
1answer
192 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 of ...
0
votes
2answers
55 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
94 views

Filtering the output from Table and export it into excel

I have the following functions ...
5
votes
2answers
357 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
62 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
46 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
120 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
56 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
94 views
2
votes
0answers
82 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
69 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
376 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
94 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
224 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
108 views
4
votes
1answer
386 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
333 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
169 views

Regarding how to use Reduce

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