5
votes
Why did Resolve[] fail to verify a statement whose counter-example was proven to be nonexistant by FindInstance[]?
Do not use more variables than necessary. If you eliminate one variable using "a b c d ==1", Resolve evaluates quickly to True:
...
- 54.6k
4
votes
Why did Resolve[] fail to verify a statement whose counter-example was proven to be nonexistant by FindInstance[]?
One can work with four variables, considering the negation of the implication..
...
- 27.7k
4
votes
"Undefined" when attempting analytical expression for a RegionIntersection and its Area in V14.0
This outputs the result after quite some time.
...
- 20.9k
3
votes
Accepted
"Undefined" when attempting analytical expression for a RegionIntersection and its Area in V14.0
Your code
Assuming[ And[0 < a < Pi/8, Element[h, PositiveReals] Element[r, PositiveReals]],
With[{}, Area[RegionIntersection[reg1[h, r], reg2[a]]]]]
works ...
- 27.7k
3
votes
Series does not deal with the branch cut for the power function correctly [bug]
This appears to have been fixed in v13.2
...
- 161k
3
votes
3
votes
Determine the rank of a matrix expression
It's relatively straightforward to code this in Mathematica. It seems that OP doesn't have much experience in Mathematica, so let me do a favor. Please read the document carefully by pressing F1 to ...
- 67.6k
2
votes
Symbolic matrix formula simplification of identity function
First, you may mean SymbolicIdentityArray[{n}] instead of SymbolicIdentityArray[{n,n}]
...
- 2,185
Only top scored, non community-wiki answers of a minimum length are eligible