+

Mathematics, Physics & Computer Science Links

Mathematics

Francis's page
Fantastic Fractals
Knot Theory
Frequently Asked Questions in Mathematics
KaBoL Knot Links
PROJECTIVE GEOMETRY
Eternity - Maths Puzzle
Inria (home of SCILAB)
Scilab Home Page - Free Scientific Software Package
Clay Mathematics Institute
Clay Mathematics Institute - Millenium Problems

Formal Proofs and Predicate Logic (for Van)

Formal Specification of First-Order Predicate Logic in ML
Peter Suber, "Glossary of First-Order Logic"
Math Forum
The World Wide Web Virtual Library: Formal Methods
Proofs in Mathematics
Cut-The-Knot: Other sites
MegaMath Text Menu

Physics

Britney Spears guide to Semiconductor Physics: semiconductor physics, Edge Emitting Lasers and VCSELs
Britney's Guide to Semiconductor Basics
Stephen Hawking
A Theory of Everything: Virtual Chaos - Welcome
String Theory Community
The Official String Theory Web Site
Quantum Gravity, Strings and M-Branes
Super Strings - An Online Introduction

Photonics Links

Redfern Photonics
Federation of Australian Scientific & Technological Societies (FASTS)
Welcome to FASTS
Welcome to Australian Photonics Online
Australian Photonics CRC - Research and Development
Photonic Array Cohering
RMRC Photonic Computing Menu
MIT Photonic-Bands Home Page
Photonic Crystal Research
Photonic Crystals
Nanovation Technologies
Photonics Online: Digital Marketplace for the photonics industry
http://www.photonics.com/
Si/SiGe Research at the Cavendish Laboratory Semiconductor Physics Group

Computer Vision

Visual Computing Laboratory: Papers
UCSD Computer Vision and Robotics Research Laboratory
Computer Vision and Machine Intelligence Laboratory
The Computer Vision Homepage
Vision and Modeling Group Research Projects
Atlantek Microsystems Home Page
Reinhold Behringer's Personal Homepage
USC Annotated Computer Vision Bibliography: Table of Contents
Datacube - High Performance Imaging Systems
Leutrek Vision Inc, Your Partner for Vision Components.

Artificial Intelligence

Machine Learning List: Vol. 9, No. 2
Alvy Ray Smith Cellular Automata Papers 10/10/00
International Society for Artificial Life
MIT AI lab
Intelligent Systems: AI's Greatest Controversies

Graphics

Jasc Software Download Center
FTP Directory: ftp://ftp.unidata.ucar.edu/pub/netcdf/
The Visualization Toolkit (vtk) Home Page
The Mesa 3-D graphics library
Index of /~wwagner/povstuff
CSIRO matlab-netCDF home page
PolyPaint+ Software for Manipulating or Displaying NetCDF Data
Welcome to discreet.com
Sunsite ANU Public FTP
Ghostscript, Ghostview and GSview
Directory of /pub/ImageMagick
VideoOCX - Video Capture & Image Processing