This is the Sage server at KAIST.

Click here for the (still somewhat experimental) cell server.

Click here to log in to the notebook server.

Read about the difference between the two servers.

There's a news page with information about downtime, upgrades, and so on. Put the RSS feed into your reader so you know why the server isn't working. :)

This server is maintained by Dan Drake. If you'd like an account on the notebook server (see the "about" page for the differences between those two servers), you'll need to email me: You can also email me if there are any problems with the servers or have questions.

Looking for a Korean version of the Sage notebook? 한글판을 찾고있는 거죠? 방문해요.

This server runs Ubuntu Linux, which I recommend. Try it today!

Ubuntu: Linux for human

Valid XHTML 1.0 Strict