notebook on Mathematical Knowledge Management

[gusl]

I just wrote a web page about Mathematical Knowledge Management

If you're not sure whether to click on the link, here's a self-quote:

the dream
To replace the paper medium with a hypertext-like medium. Reading static mathematical texts is impersonal and inefficient
...
There are 3 levels of mathematical formality in digital media:
...
How digital media can ease up our cognitive load:
...