Bookmarks for Thomas Honigmann
Personal Home Pages
Celebreties
- Knuth, Donald
- Hawking, Stephen
- Lamport. Leslie
- Wall, Larry
- Zawinski, Jamie
ILF
- Baar, Thomas
- Bauer, Thomas
- Becker, Oliver
- Dahn, Ingo
- Gehne, Jürgen
- Honigmann, Thomas
- Walther, Lutz
- Wolf, Andreas
- Wernhard, Christoph
HHO
- Polze, Andreas
Science
- 1998-08-18: ICM98 - International Congress of Mathematicians Berlin 1998
Mathematics
Mathematical Documents on the WWW
- Mathlib
- Publications on 'Electronic Publishing' of DMV and ZIB
- Math on the Web
Archives, Lists, ...
- Science Direct: Academic Journals
- Mathematics Archives WWW Server
- Front for the xxx Mathematics Archives
- GAMS : Guide to Available Mathematical Software
- MATH Database (Zentralblatt Abstracts)
- History of Mathematics
- The Prime Page (An Index of Information on Prime Numbers)
- Mathworld
- Mathematik-Olympiaden
Organisations
- European Mathematical Society
- American Mathematical Society
Mathematicians
- Luke's Marin Mersenne Page
History
- Euclid's Elements
- The Abacus
- Earliest Uses of Various Mathematical Symbols
- PASS Maths
- Teaching Logic as a tool
- What is nonstandard analysis?
- PiPhilology
- Legal/pi indiana
- Math stuff
(Automated) Theorem Proving
- Association for Automated Reasoning
- ILF
- Theorem Prover 3TAP
- The Mizar Project
- The HOL System
- Isabelle
- Fermat
- SATLIB - The Satisfiability Library
- Theorema Home Page
- JCU - Computer Science - Australia : Heterogeneous Parallel Deduction Systems
-
- Otter: An Automated Deduction System
- NEW MCS Home Page (Argonne)
- Setheo
- The DISCOUNT system
- MPII - Software - SPASS
- LPTP
- Linux AI/Alife mini-HOWTO
- IDEAL: 174 Academic Press journals
- DLR - Institut für Planetenerkundung: Die Mars Pathfinder Mission
- sci.physics.relativity FAQ
- General Relativity Tutorial
- ScienceNet - Database - Search
- xxx e-print archive
- John Baez's Papers
- This Week's Finds in Mathematical Physics
- Henry Baker's Archive of Research Papers
- Tony's Home
- Theoretical Biophysics Group Home Page
- Science Jokes
- Programming with Sets
-
Computer
Docs and Specs
- Introductory Documents / Tutorials
- Filesystem Hierarchy Standard
- Drag-And-Drop
- HTML Home Page
- HTML quick reference
-
- The OpenMath Home Page
-
- SSL 3.0 Specification
- WWW Mailing Lists Archives & References at MPE
-
Software
Programming
Archives, Lists, ...
- RFC's
- CPAN
- The World Wide Web Virtual Library: Logic Programming
- Internet Parallel Computing Archive
Essays
- The Cathedral and the Bazaar
- Lisp:
Good News
Bad News
How to Win Big
Languages
C/C++
- gcc: EMX/RSX
Forth
- Forth Information
- Forth Interest Group Home Page
- ANS Forth (Standard)
- GNU Forth Manual - Table of Contents
Java
- The Java Tutorial
- Java in a Nutshell, 2nd Edition : A Desktop Quick Reference for Java Programmers
- LINUX JOURNAL Issue #30 "Java"
- Guido Krüger - Java 1.1 lernen
- Shlurrrpp......Java learning Java : The Java tutorial for java programming
- XTC, the X Tool Collection
Examples
- Metamath Solitaire
Javascript
- JavaScript Guide
- JavaScript Reference
- JavaScript
- JavaScript Authoring Guide
- Voodoo's Intro to JavaScript
Examples
- Hierarchie Test
Mercury
- The Mercury Project
- FTP: Mercury-users mailing list
Perl
- The www.perl.com Home Page
- The Perl Language Home Page
- Welcome to The Perl Institute
- Perl FAQ
- CPAN
- Perl FAQ (TUB)
- CPAN (TUB)
- We Cope
- Index of /merlyn/WebTechniques
- Perl Dokumentation (in deutsch)
- perl/Tk Documentation
- WebScripts (Free Perl CGI Scripts)
- CGI.pm - a Perl5 CGI Library
Postscript
- All about PostScript
- PostScript and Acrobat Links
- Internet PostScript Resources
- POSTSCRIPT Net Resources
Python
- Python Language Home Page
Tcl/Tk
- SunScript Home Page
- Scriptics Corporation
- Expect - Home Page
Other
- The Internet Scheme Repository Home Page
- The TOM Programming Language
Scheme
- Guile's Unofficial Home Page
Concepts
- Object-Orientation FAQ -- Title Page
Parallel Computing
- Internet Parallel Computing Archive
- Condor Project Homepage
- MPI - The Message Passing Interface Standard
- Parallel Virtual Machine (PVM) Version 3
- The TPVM Home Page
Specifications
- The World Wide Web Virtual Library: The Z notation
Systems
Linux
- The Linux Documentation Project Homepage
- The comp.os.linux.announce home page
- The Linux HOWTO Index: HOWTO Index
- Linux 2.0 Penguins
- Linux-GGI Project Homepage
- The Linux Widget Project
- Linux Gazette Front Page
- Linux Journal
- Linux & Demos, a future for the DemoScene
WWW
- CGI specification
- HTML Elements
- Web Page Backward Compatibility Viewer
- The WWW Security FAQ
X-Windows
- XForms Home Page
- The libFL User Interface Library
- imake-Related Software and Documentation
- Colormap FAQ List.
- EDV-Schriften (u.a. Xlib-, Xt-Programmierung)
(Multi-platform) GUI Toolkits
- Troll Tech (Qt toolkit)
- wxWindows
- wxGTK Homepage
DOS
- The Free-DOS Project
- Ralf Brown's Interrupt List HTML Version
Windows 95/NT
- The GNU-Win32 Project Page
- Windows95 Annoyances
Utilities
- ccmalloc
- CVS Training Manual - Title
- DDD - The Data Display Debugger
- PRCS
Archives, Lists, ...
- The World Wide Web Virtual Library: Logic Programming
- Comprehensive TeX Archive Network
- GAMS : Guide to Available Mathematical Software
- SAL -- Scientific Applications on Linux
- Linux Places
- Welcome to Hobbes
- Unix Guru Universe
Linux
- The Linux Documentation Project: Homepage
- FTP Archiv HUB Informatik
- FTP Sunsite Mirror TUB Informatik
- Linux automount (FTP)
- AWE32 Sound Driver for Linux / FreeBSD
- BTTV page
-
- xawtv Homepage
-
- Linux 2.0 Penguins
- Linux MIDI & Sound Applications
- NTFS for Linux (Alpha)
- Linux-GGI Project Homepage
- PenguinPlay GSDK - Game Software Development Kit
-
- FSDEXT2 : Second extended file system for Windows 95
WWW
- Apache HTTP Server Project
- GIFs on the FLY
- Manual Pages on WWW
- IRC's Homepage at Funet, Finland
- Internet Relay Chat
- X Swallow, Plugin for Unix Netscape
- HTML Home Page
- Proxy Client Autoconfig File Format
-
GUI
X Windows
- Enlightenment
Fvwm
- The Official FVWM Homepage
- FVWM Configuration Samples
- Barry Warsaw's PyWare
- Fvwm/Perl Module Interface
- Menu Code Improvements
- FvwmConf- Interactive Configuration Tool
- Hungry Products (Lesstif)
- rxvt - a colour terminal program
- Scheme-Configurable Window Manager
- TkInfo: a browser for info files
- wxWindows
- XTC, the X Tool Collection
- GTK+ -- The GIMP Toolkit
Mathematical Software
- MuPAD - Home Page
- Scilab Home Page
- DC MetaData for: MAINNK - Ein Newton-Kantorovich-Verfahren mit Abramov-Transfer für Algebro-Differentialgleichungen (DAE) mit biedrigem Index
- xlSTAT data analysis toolbox
- ZIB - Konrad-Zuse-Zentrum für Informationstechnik Berlin
VRML
- VRML-Browser
- Known browser bugs and unsupported features
Editors, Text processing, ...
- The VIM Home Page
- Star Office for Linux
- a2ps home page
- LyX - The Document Processor
- TeX2HTML - Converting TeX to HTML
- Ghostscript, Ghostview and GSview
- gv, a PostScript and PDF previewer
- TEItools home page
- SGMLtools project
- The FREETYPE Project
- techexplorer: Another technology from alphaWorks by IBM
- Thot
Emulators
- The XZX Homepage
- The XZX Homepage
Games
- Drowned God
- X-Windows Games
- Jacoby Card Games
- BD4
- Sverre's Software for Unix/Linux
- Hatman
Sound, TTS, ...
- Super Groove Master mark 14
- The JAZZ midi sequencer
- The MBROLA PROJECT HOMEPAGE
Other
- spak
- bzip2
- dxpc - The Differential X Protocol Compressor
- The JNet collection of UNIX Scripting Tools.
- Mgetty + Sendfax Documentation Centre
- MpegTV - real-time MPEG software for Unix
- MP: The Multi Protocol
-
- The IMAP Connection
-
- Critical Angle's LDAP World
-
S-Lang, slrn, ...
- The Home Page of John E. Davis
- Introduction to Usenet News and the slrn Newsreader
- Byrial's slrn page
- Cyclic Software
- FreeDOS Home Page
Hardware
- KC-Club.Homepage
- www.oldbits.de - FCOC (Franks collection of old computers)
Organizations, Companies
- Deutsches Institut für Urbanistik
- WWW-Server des DFN-Vereins - Homepage
- IEEE Home Page
- Intel Secrets -- What Intel Doesn't Want You To Know
- Scandura
- Rund um Sun
- XFree86(TM): Home Page
Books
- SF-Lovers Archive
- Freundeskreis Science Fiction Leipzig e.V.
- DEEP THOUGHT: 42
- Isaac Asimov Home Page
- The Robert A. Heinlein Page
- Sherlockian Holmepage
- Uchronia: The Alternate History List
Perry Rhodan
- Perry Rhodan Internet Homepage
- Perry Rhodan (Bernd P. Ziller)
- Perry Rhodan - Fanpage
- William Gibson's Alien III Script
- Rei's Anime and Manga Page
Newspapers, Magazines, ...
- c't - magazin für computertechnik
- bild der wissenschaft online
- Heise Online
- Electronic Telegraph
- The Perl Journal
- Welcome to washingtonpost.com
Comics
- The Dilbert Zone
- Mosaik: Homepage
- The Madam & Eve Home Sweet Home Site
Movies, TV and Radio
Archives, Lists, ...
- Internet Movie Database
- Tardis TV Archive
- SFTV Page!
- Welcome to E! Online - Front Door
- The Network for Entertainment Fans
- BaNaNaLiNkS
- Uebersicht Titellisten
Magazines, Newsletters, ...
- TV today: THE NAVIGATOR
- ONLINE-TV (tv today)
- rtv-online
- Mystery Newsletter Online
- Mailingliste xf-de
- FRITZ.welcome
- ENERGY 103,4 Das schnellste Radio Berlins
Babylon 5
- The Lurker's Guide to Babylon 5
- Babylon 5: The Sad-geezers Guide to the Babylon 5 Universe - Home Page
- Hendrik Sefflers Homepage
- Babylon 5 Home
- Uebersicht Titellisten
- Cave Canem: Baby-lon 5
- TNT: The Home of Babylon 5
Star Trek
- TV Episode List
- Sternenbasis 351
- Alles über Star Trek
- Star Trek Universe
- DELTA BLUES -- DELTA BLUES - Jim Wright's Voyager Reviews
- STAR TREK: DEEP SPACE NINE
- STAR TREK: VOYAGER
- ftp://ftp.fu-berlin.de/misc/sf/startrek/
- Hendrik Sefflers Homepage
- Uebersicht Titellisten
Space Above and Beyond
- Space: Above and Beyond -- Mission Status
- The Original - Space: Above And Beyond Multimedia Site
- Space: Episode Ratings
- Episode Reviews by 'Doc' Duncan
- Uebersicht Titellisten
X-Files
- Lothar Bartsch
- Michael
- Richard Wolf
- Juergens Homepage
- Thomas SciFi-Place - X-Files - Homepage
- Willkommen zur inoffiziellen deutsche XFAQ
- Mulder, it's me . . .
- Sensation's Cosmik Debris
- Barney O'Borg Reviews Season 2
- Barney O'Borg Reviews Season 3
- Virtual Skinner's office
- ftp://ftp.fu-berlin.de/misc/sf/x-files/
Dark Skies
- Dark Skies Over Kansas
- Dunkle Wolken über Deutschland (Dark Skies Over Germany)
- The Slightly Warped Website
- The Moose's Guide to Northern Exposure
- Married ... with Children
- Ziggy (Quantum Leap ftp archive)
- Pulp Fiction
- The Sledge Hammer! Arsenal
- The Movie Cliches List
Berlin
- BiW: Berlin Information (de)
- Freizeitpark (Veranstaltungskalender)
- Homepage Marzahn
Music
- Agnetha, Benny, Björn & Anni-Frid's home page
Icons, Wallpapers, Pictures, Fonts
- AndyArt - Free Images
- Smiley Dictionary
- Marty's Icons
- Download Windows True Type Fonts fast: ttf-links
- The Icon Browser
Information, Services
- Deutsche Bahn AG - Fahrplanauskunft
- Der RailServer
- InfoFlyway
- DeTeMedien (Telefonbuch)
- ttarif - Telefontarife im Vergleich
- The Phone Company (TPC.INT)
- Welcome to The Weather Underground, Inc.
- Foreign Exchange Rates
- IP Address to Hostname
- BAT
- IBM Patent Server Home Page
- WebTechs Validation Service
- Submit It!: The Web Site Promotion Tool
- Liszt, the mailing list directory
- Projekt Gutenberg-DE
- Tectum-Verlag Marburg
- GENIOS Web-Search: Login
Online Shopping
- Lehmanns Online Bookshop
- Bookstore.co.uk.
- Cinemabilia - Alles über Film & Kino;
- ABC Bücherdienst Online-Datenbank
- Welcome to NetBuyer
- Travel Overland Startseite - Flugpreise
Fun
- The Jargon Lexicon
- Leiden der Sysops
- The Bastard Operator From Hell by Simon Travaglia
Miscellaneous
Events (old)
-
- Workshop ALV'98
-
- Treffen der Implementierer- und Anwendergruppe des DFG-Schwerpunktes Deduktion
-
- FLAIRS-97 Conference
-
- Implementierer- und Anwendertreffen im DFG-Schwerpunkt "Deduktion" (30. Juli - 1. August 1997)
-
- CADE-15 Workshop on the Automation of Proof by Mathematical Induction
-
- 1998-09-23: CoSySyCo98
-
- 1998-07-05: CADE - 15
-
Chess, checker, Game of Life, ...
- Kaiserslautern Chess Server Homepage
- Home page of The Chess Variant Pages
- Chinook
- Paul's Page of Conway's Life Miscellany
Language
- BritSpeak
- The American·British - British·American Dictionary
- Acronym and abbreviation list
- Project Bartleby Archive
- Grammar and Style Notes
- Rechtschreibreform - SPRACHREPORT Extraausgabe
Ultima Online
- Ultima Online - Are You With Us?
- OGR.COM: Specials
- Ultima Offline
- FreeBSD Hypertext Man Pages: Index Page
- Viewer-Testseite
- Project Galactic Guide Info Site: Research Vessel Leiden
- Bibliotheken, Buecher und Berichte
- Space Calendar (JPL)
- Global Enterprise Networking Directory
- Cyber Tagebuch
- EIZO Monitore LCD/TFT
- HU Berlin - OR Studenteninformationen
- Astrologie -> ASTRODIENST Willkommen