Web odkazy
==========

Lambda Calcul
-------------
- link:http://www.swiss.ai.mit.edu/projects/scheme/[MIT-Scheme] -
  MIT Scheme homepage
- link:http://www.plt-scheme.org[PLT-Scheme.org] - DrScheme homepage
- link:http://www.schemers.org[Schemers.org] - všetko o jazyku Scheme
- link:http://www.mazama.net/scheme/pscheme.htm[PocketScheme] - Scheme
  pre PPC
- link:http://eclipsefp.sourceforge.net/[Eclipse Plugin] pre Haskell
  (GHC, Hugs98)
- link:http://www.haskell.org[Haskell.org] - Haskell homepage
- link:http://www.ii.fmph.uniba.sk/cl/[] - CL homepage

Matematika
----------
- link:ftp://math.feld.cvut.cz/pub/olsak/linal/[Lineárna algebra] -
  Petr Olšák
- link:http://www.mathtype.com[MathType.com] - matematické nástroje
- link:http://www.lyx.org[L~Y~X] - Editor pre T~E~X

Prolog
------
- link:http://www.swi-prolog.org/[SWI-Prolog],
  link:http://lernen.bildung.hessen.de/informatik/swiprolog/indexe.htm[Swing] -
  SWI Prolog IDE

Siemens Mobile
--------------
- link:http://home.c2i.net/thvoslef/midlets/[MicroReader] -
  eBook reader / editor
- link:http://www.siemens-club.ru/[Siemens-Club.ru] - Siemens centrála
- link:http://www.siemensmania.cz/[SiemensMania.cz] - Siemens centrála
- link:http://www.vi-soft.com.ua/[V_Klay] - Siemens patcher


Vývoj
-----
- link:http://www.docbook.org[DocBook] - systém na tvorbu dokumentov
- link:http://www.kosek.cz[] - stránka o XML