User Portlet User Portlet

Discussions
Am I overlooking something that would let Mathematica recognize that Assuming[0 0 && a > 0 && R > 0 I can get it to push the ArcTan into ArcSin, but not get it to - 1/2 ArcCos
Is there a syntax to use with [MMA Integrate-Over-Regions][1] to calculate the area inside a "polygon" projected onto the surface of a sphere? Background. I have a polyhedron and I'm looking for the solid angle of a vertex. I can put a sphere...
I am seeing a variety of problems which could be simply and compactly solved if a particular sequence satisfying some conditions could be extracted from a list. Repeated or .. looks like a good candidate. An example problem that was posted recently...
Or perhaps this is somehow all my fault. Someone asked me if I could verify this for them and I'm seeing what they were seeing. Start Mathematica. In[1]:= $Version Out[1]= "9.0 for Microsoft Windows (64-bit) (January 25, 2013)" (with the task...