I would like to play the RealMedia streams at http://www.cs.princeton.edu/theory/index.php/Main/AdditiveCombinatoricsMinicourse .
I have installed the RealPlayer beta but all that happens is that the browser saves a .ra file and then RealPlayer says it can't play it.
Interestingly, they work fine in mplayer on linux using mplayer -playlist http://acstream.princeton.edu:8080/ramgen/blackboard/cs/additive_combinatorics/1_luca_trevisan_350k.rm for example. The stream itself is rtsp://128.112.131.181:554/blackboard/cs/additive_combinatorics/1_luca_trevisan_350k.rm and I thought Android had rtsp support.
Is there any way to play the videos in Android?
Edit: The answer shows how to play the rtsp streams. However, I would really like to be able to play the videos directly from their web page without having to extract each rtsp link manually using a separate computer.
The above URL for lazy beans: 
