10
votes
1answer
112 views

FindInstance returns Indeterminate in version 9, but not in 8

Here is a trivial system of equations in three unknowns for which FindInstance obtains a solution: ...
14
votes
1answer
416 views

Bug in Solve (Mathematica 9)

Just came across the strangest bug under both Mathematica 9.0.0 and 9.0.1. If one enters: Solve[m == p Sin[x] && -Pi/2 < x < Pi/2, x] ... then ...
4
votes
0answers
164 views

Incompleteness of FindInstance

I've been playing around with Resolve and FindInstance. I know that Resolve should always ...