Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with Search options user 6258

Questions on manipulating complicated expressions and making them look simpler using Simplify, FullSimplify and Reduce.

2
votes
To simplify an inequality ineq to True using assumptions assum Simplify needs to prove that assum && Not[ineq] has no solutions. Hence non-linearity of both assum and ineq matter and all variables in …
answered Jun 9 '17 by Adam Strzebonski
9
votes
The assumptions mechanism used by Simplify has a bound on the number of variables in a system of nonlinear inequalities. If the number of variables exceeds the bound, the assumption mechanism does not …
answered Jun 15 '16 by Adam Strzebonski
6
votes
The assumptions mechanism used by Simplify will not try to prove or disprove an inequality if the number of variables involved is higher than a built-in limit. To decide polynomial inequalities the as …
answered Nov 3 '16 by Adam Strzebonski