How can I play a RealMedia stream? 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.
That's weird. I could stream this perfectly on my Android 2.3 stock browser.

For you, I'd suggest you do the following :-


Download MX Video Player FREE (and a suitable codec for your phone)
Enter the URL rtsp://128.112.131.181:554/blackboard/cs/additive_combinatorics/1_luca_trevisan_350k.rm in your stock browser.
You'll see something like :


 The above URL for lazy beans: 

Click on the MX Video Player and your video should load properly. duh! :D