Links Page of Paul E. Oppenheimer

• Home
• Curriculum Vitæ
• Papers
• Contact
• Links
• Poetry
• Commercial
• Personal

• Philosophy
• Search
• General Reference
• Artificial Intelligence
• Automated Reasoning
• Stanford Encyclopedia of Philosophy
• Religion
• Mathematics
• Physics
• Cognitive Science
• MacOS X 10.x
• Systems Administration
• Artificial Intelligence
• Artificial Intelligence: Automated Reasoning
• Artificial Intelligence: Representation
• Institutions
• Universities
• United States Government
• General Computer Reference
• Beaux Arts
• Blogs
• Miscellaneous Links
• Personal Links

Useful Places to Search

• Google
• Clusty
• Snap
• Yahoo!
• Internet Archive
• JSTOR Online Article Retrieval
• The Library of Congress
• OAIster Union Catalog of Digital Resources (University of Michigan)
• Internet FAQ Archives
• Yahoo Index of University Links By Country
• Links to Universities Worldwide (Geography Dept./U. Innsbruck)
• Susanne Riehemann's Links Page
• CiteSeer Engine for Citation Searching
• Eric Weisstein's World of Mathematics
• Mally's Start page
• Wikipedia
• Yahoo! Maps, Driving Directions, and Traffic
• Google Maps
• Library Catalogues around the world (University of Saskatchewan library)
• Stanford University Libraries and Academic Information Resources

Philosophy Links

• American Philosophical Association
• Arts and Letters Daily (Service of the Chronicle of Higher Education)
• Australasian Philosophical Association
• Association for Symbolic Logic
• Blackwell Publishing
• Boethius: Consolatio Philosophiæ
• Computational Metaphysics
• James J. O'Donnell
• Philosophy Documentation Center
• Guide to Philosophy on the Internet (Peter Suber's Guide)
• MIT CogNet
• Metaphysics: Multiple Meanings
• Project Euclid
• Philosophical Gourmet Report (Brian Leiter, University of Texas)
• Philosophical Lexicon
• Daniel Dennett
• Blackwell Publishing, Philosophy
• Metaphysics Research Lab
• Paul Oppenheimer
• Philosophy Talk
• Stanford Encyclopedia of Philosophy
• Ernst Mally (brief biography from the Metaphysics Research Lab)
• UC Berkeley Philosophy
• The Internet Encyclopedia of Philosophy
• Philosophy at Wikipedia
• Garth Kemerling, Philosophy Pages
• Philosophy at EServer
• the Indiana Philosophy Ontology project

Stanford Encyclopedia of Philosophy

• Homepage
• Table of Contents
• Editorial Information
• What's New
• Advanced Search Encyclopedia
• Encyclopedia Archives
• Encyclopedia Table of Symbols
• Encyclopedia RSS Feed
• Plagiarism and Copyright Links (at www.transcendentalism.org)
• RSS feed

Artificial Intelligence

• Association for the Advancement of Artificial Intelligence (AAAI)
• AI Topics (AAAI)

Reasoning

• The TPTP Problem Library for Automated Theorem Proving (Geoff Sutcliffe and Christian Suttner)
• Prover9 and Mace4 (William McCune)
• The E Equational Theorem Prover (Technische Universität München)
• Paradox and Equinox (Chalmers University of Technology and Göteborg University)
• Conference on Automated Deduction (CADE)
• Protege
• Automated Reasoning at Argonne
• TPS Theorem Proving System
• Portoraro, Frederic, “Automated Reasoning”, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.)
• Andrei Voronkov's homepage
• Isabelle
• Mechanized Reasoning (Formal Reasoning Group, Stanford University)

Representation

• PolyML Download Page
• Logical Frameworks page (Frank Pfenning)
• List of Logical Frameworks and Links (Frank Pfenning)
• SRI's Artifactory Research Resources (links XML, RDF, DAML+OIL, Ontolingua, Semantic Web, etc.)
• DAML+OIL Reference Description (March 2001)
• DAML.org
• DAML+OIL Axioms
• The Coq Proof Assistant
• The Caml Language
• the Indiana Philosophy Ontology project

Religion

Judaica

• Boraz, Edward S., 1996, Understanding the Talmud: A Modern Reader's Guide for Study, Jerusalem, London, and Northvale, New Jersey : Jason Aronson Inc.
• Judaism 101
• Virtual Cantor

Mathematics

• Seth Oppenheimer
• American Mathematical Society
• Project Euclid
• The Mathematics Genealogy Project (North Dakota State University)

Physics

• Bohmian Mechanics
• Collaboration Bohmian Mechanics
• Bohmian Mechanics at the University of Innsbruck
• Pablo Yepes' Double Slit Experiment Simulator
• The “Mt. Rushmore” of foundations of quantum theory
• Chris Dewdney's de Broglie-Bohm website
• Eric Dennis's discussion e-group on Bell's inequality and Bohmian mechanics
• Sheldon Goldstein's Exchange of letters on Quantum Theory Without Observers
• Physics Today
• Bose-Einstein Condensation at NIST

Cognitive Science

• Indiana University Cognitive Science

General Reference Resources

• Encyclopædia Britannica Online
• Internet Archive
• MIT OpenCourseWare
• O'Reilly Safari Library
• Oxford English Dictionary
• British Library
• Stanford Encyclopedia of Philosophy
• Stanford University Libraries and Academic Information Resources

Computer Systems Administration

General SysAdmin Reference

• O'Reilly Safari Library

Unix/Server Administrative Software

• Apache HTTP Server Project
• Postfix
• Fighting Spam and Postfix
• Postfix Performance Tuning
• Postfix Backscatter Howto
• Postfix Standard Configuration Examples
• ASCII table
• The Pine FAQ
• Installing Spam Assassin on OS X
• Rsync Homepage
• HTML Tidy homepage
• The BibTeX-XML-HTML Bibliography Project
• CygWin

W3C, HTML, XML, MathML, TEI, and Unicode

• HTML vs XHTML
• W3C Organization
• W3C HTML Homepage
• W3C HTML Validation Service
• XHTML 1.0
• XHTML 2.0 Reference Specification
• The W3C HTML 4.01 Reference Specification
• The W3C HTML 3.2 Reference Specification
• HTML 4.0 Character Entity References
• UTF-8
• Reliably Encoding Fancy Symbols in HTML Documents
• Unicode Browser Display
• Unicode Home Page
• Combining Characters (Diacritical Marks) in Unicode
• Unicode Code Charts (Complete List)
• Unicode Chart on Combining Diacritical Marks
• Unicode Fonts for Mac OS X computers
• Unicode Fonts for Windows Computers
• Creating Web Sites with Mac OS X (MacZealots)
• CSS Tutorial (WestCiv.com)
• Creating Universally Compliant HTML (The Web Design Group)
• WebMonkey's HTML Basics
• HeVeA translator: LaTeX -> HTML
• W3C Math: MathML puts math on the Web
• Math Markup Language (Chapter 6)
• Amaya Overview
• Amaya for Mac OS X
• Electronic Reference Formats (American Psychological Association)

Institutions

Universities

• Princeton University

Stanford University

• Stanford University
• Stanford on iTunes U

MIT

• MIT OpenCourseWare

United States Government

• United States Postal Service

Miscellaneous Institutions

• Library of Congress
• Travel at Yahoo
• Travelocity.com
• History of Mathematics Archive (MacTutor)

General Computer Reference

Unix, X

• Unix Porting Guide for MacOSX
• Darwin Ports for Mac OS X
• Remote X Apps: Telling the Server
• Fink Homepage
• Fink download page
• Fink User's Guide

Emacs

• Useful Wiki for Carbon Emacs Package
• FAQ
• Emacs on Aqua (Cocoa/ GnuStep APIs)
• Emacs for Mac OS X
• Emacs Users Manual (gnu.org)

TeX

• TeX i-Installer Home Page
• Graphics in LaTeX
• LaTeX for Logicians
• Installing Fonts for LaTeX on OS X
• LyX
• TeX on Mac OS X
• The UK TeX Archive
• Mac OS X TeX/LaTeX Website
• TeXShop for Mac OS X
• Thomas Kiffe's TeX Tools for OS X (including MacGhostViewX, MacDviX, BBEdit plugins, etc.)
• The teTeX Homepage
• Hyperlatex
• InstantTeX and teTeX
• U.S. CTAN TeX-Archive
• German CTAN TeX- Archive

Perl

• CPAN (Comprehensive Perl Archive Network)
• learn.perl.org The site for people learning Perl
• Perl Monks

Purchasing Hardware/Software Online

• Nextag.com
• Pricewatch.com

FAQs

• Open FAQ at Boutell.com

MacOS X 10.x

Apple Sources	Tiger	News and Information	Admin, Tips, and Useful Software
idd Applications	Darwin, X, and Fink	Miscellaneous Sources

Apple Sources

• Apple Computer
• Apple Store
• Macintosh Featured Software Downloads
• Macintosh Products Guide
• Apple Developer MacOS X Page
• MacOS X Page (Tiger)
• MacOS X Server Page (Tiger)
• MacOS X Server Documentation Pages
• Apple Mac OS X Server Support Page
• Apple Discussions List
• RSS Feeds to Apple Mailing Lists
• Search AppleCare Support
• Apple Product Manuals
• File Bug Report

Tiger

• Ars Technica (Under the Hood of Mac OS X 10.4 Tiger)
• What's New in Tiger (Apple)
• Notes on Tiger (Daring Fireball)
• Spotlight Tips (Apple)
• Spotlight Plugins
• Dashboard Widgets
• Automator Actions
• Leopard Preview

News and Information

• Stepwise Information Server
• Slashdot (Apple)
• MacFixIt (Troubleshooting Solutions)
• MacOSXHints.com
• Tiger hints
• Networking Hints
• OSX FAQ: Technical News/Support for Mac OS X
• Macintouch.com
• MacNet Journal
• Macintosh Software Updates - VersionTracker.com
• MacRumors Buyer's Guide
• Mac DevCenter (O'Reilly Network)
• Doit Apple Support Site (U. Wisconsin)

Admin, Tips, and Useful Software

Admin

• DiveIntoOSX.org
• macosxlabs.org (Mac OS X Deployment in Higher Education) (with Script Archive)
• OmniGroup Admin Mailing List
• Mike Bombich's Mac OS X Management Software and Tips
• Make a Bootable Backup of Mac OS X: Cloning Mac OS X Disks

Tips

• OSX FAQ
• Tips Page
• OSX FAQ's List of Failed System Call Errors
• Top 10 OS X Tricks for Unix Geeks
• MacOSXHints.com

Software

• Mike Bombich's Utility Software for Mac OS X
• Software by Marcel Bresink (NFS Manager, TinkerTool, PrefEdit)
• Huge List of Native OS X Applications (maintained by "Jeff")
• FreeWare Gems for OS X (Mac Dev Center)
• Omni Development, Inc.
• The Gnu Mac OS X Public Archive

Applications

• metaobject
• Share My Desktop
• Apple's Keynote Page
• KeynoteUser.com
• GarageBand Tips at Apple
• iCal Calendar Library
• TeXShop for Mac OS X
• RBrowser (Download and Manual)
• Stone Design (PStill, Create, etc.)
• Carbon Copy Cloner (Mike Bombich)
• Little Snitch
• TeX i-Installer Home Page
• Speed Download (Help Pages)
• SubEthaEdit(Group Editing Software by The Coding Monkeys)
• The Coding Monkeys
• Meteorologist
• MenuMeter

Potentially Useful Applications

• WireTap Pro (record anything playing on your computer)
• Cocktail (Utility for optimizing OS X and removing caches, etc)
• VNC Thing
• Chicken of the VNC
• SpamSieve Plug in for Mail.app to block spam
• Delicious Monster (music and book library cataloguing software)
• iGlasses (add brightness control to iSight camera)
• CSSEdit (Macrabbit Software)
• Coriolis's iPartition (repartition on the fly)
• Meta Object (PdfCompress, PostView (view PDF, PS), TextLightning (PDF->RTF))
• Link Checker (from dotsw.com)
• Link Checker from w3.org

Darwin, X, Fink

Darwin

• Darwin Main Page at Apple
• Darwin Ports
• The GNU-Darwin Distribution
• Ports of X11 apps on Darwin

X11

• Tenon Intersystems (iTools and XTools)

Fink

• Fink (at The Source Forge)
• The Source Forge
• OS X Swapfiles and /etc/fstab
• Mac OS X Links at MacOSXHints.com
• MacEdition: Aquascaping: Life with OS X
• bresink.com TinkerTool

Beaux Arts

• The Endicott Studio (an interdisciplinary organization dedicated to the creation and support of mythic art)

Blogs

• A Philosopher Muses
• Paul Oppenheimer's Blog
• Philosophy Talk Blog
• Technorati

Links To More People, RSS Feeds, Web Sites, Publications, and Web Logs

• HighWire Press
• The Online Books Page (University of Pennsylvania)
• On the Stanford Web
• (Unofficially) Peter S. Beagle
• Leonard Susskind
• Nobel Prizes
• Google
• Craig C. Mello
• Paul E. Oppenheimer
• The Source Forge
• Poetry
• Paul Oppenheimer
• The American Mathematical Society
• Mathematics Archive
• Association for Symbolic Logic
• OASIS
• Chris Swoyer
• Paul Oppenheimer
• Ansel Adams
• Bas C. van Fraassen
• Rabbi Edward Boraz
• Seth F. Oppenheimer
• Charles de Lint
• Ellen Datlow
• Eric Freeman
• Susanne Riehemann
• Scientific American RSS feed
• Curiously Strong
• Quotations Page
• University of Chicago Magazine
• macHOME
• American Express
• Jason Aronson
• HarperCollins
• Medline Plus from the (USA) National Library of Medicine
• Coding Monkeys Blog
• Tibetan Government in Exile's Official Web Site
• TPS & ETPS
• Logic at Stanford
• Mathematical Logic Around The World
• Anti Slavery International
• Stanford Encyclopedia of Philosophy
• Casa de los Niños Tucson AZ, USA
• Branden Fitelson
• [Top of Page]

Paul E. Oppenheimer

• PEO Associates
• book reviews
• doors
• music
• papers
• poetry
• prose
• spirituality
• topoi
• vendors
• curriculum vitæ
• wellness within
• pgp public key (ascii-armored)
• linkedin
• favicon
• photos

Paul Oppenheimer's Blogs

• A Philosopher Muses (WordPress blog)
• Paul E. Oppenheimer's LiveJournal

Older Stuff

• Blog of Paul E. Oppenheimer (older blog)

Copyright © 2001–2009, by Paul E. Oppenheimer. All rights reserved.