Bookmarks of Anton Setzer (Hardware and Software)
Table of Contents
Theoremprovers and Rewrite Systems
Links
Operating Systems from Microsoft
(esp. Windows).
Platforms
Databases
Interchange of Software
Wordprocessing
- TeX, Latex
- BibTeX
- Sources
- Users Groups
- Tutorials
- Plain Tex
- General
- XY-pic
- Graphics
- Slides General
- diagrams.sty
- pdfslide/pdfscreen (pdfscreen is for online readable documents,
pdfslide is for slide presentations).
- Fancy Headings
- Seminar.sty
- Prosper
- Slitex
- Latex 2e
- AMSTeX
- Metafont
- Pdftex/pfdlatex
- Hyperlatex (Creation of simultaneously html and latex pages)
- Tools
- Conversion between formats
Imperative Programming
Languages (General)
Functional Programming
Cayenne
Object Oriented Programming
Specification Languages
Modelling Languages
Scripting Languages