from the can't-we-call-in-some-tactical-hurricanes? dept.
tomhudson writes "Groklaw is reporting that Oracle was ordered to reduce its claims against Google from 132 to 3. In a further ruling, the judge has ordered that 129 of those claims will be permanently barred against all past and current products. Additionally, the judge has asked both sides if, in their opinion, after they have reduced the number of claims, a trial is still worth holding, or if the case is now moot."
We warn the reader in advance that the proof presented here depends on a
clever but highly unmotivated trick.
-- Howard Anton, "Elementary Linear Algebra"