Links Page of Paul E. Oppenheimer

• Home
• Curriculum Vitæ
• Papers
• Contact
• Stanford Encyclopedia of Philosophy
• Metaphysics Research Lab
• Store
• 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
• Social Networks
• Twitter

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
• Mendeley
• Wolfram|Alpha
• doi
• Dogpile

Philosophy Links

• American Philosophical Association
• Arts and Letters Daily (Service of the Chronicle of Higher Education)
• Association for Symbolic Logic
• Australasian Association of Philosophy
• Australasian Journal of Philosophy
• Blackwell Publishing
• Boethius: Consolatio Philosophiæ
• Computational Metaphysics
• James J. O'Donnell
• Philosophy Documentation Center
• Guide to Philosophy on the Internet (Peter Suber's Guide)
• InPhO (The Indiana Philosophy Ontology Project)
• MIT CogNet
• Metaphysics: Multiple Meanings
• Philosophers' Imprint
• Philosophical Gourmet Report (Brian Leiter, University of Chicago)
• PhilEvents
• PhilPapers: Online research in philosophy
• Project Euclid
• Philosophical Lexicon
• Daniel Dennett
• Blackwell Publishing, Philosophy
• Metaphysics Research Lab
• 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
• the Federated Logic Conference (FLoC) 2010
• Journal of Logic and Computation
• Oxford Philosophy

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)
• McGovern Institute for Brain Research at MIT
• MIT Intelligence Initiative

Reasoning

• IJCAR 2010
• 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)
• Objective Caml (OCaml)
• ACL2: A Computational Logic
• Alfa/Agda
• B Prover
• The Coq Proof Assistant
• EQP Equational Prover
• HOL Automated Reasoning Group
• IMPS: An Interactive Mathematical Proof System
• Isabelle/Isar
• The Lego Proof Assistant
• Metamath
• The Minlog System
• The Mizar Project
• The Nuprl Project
• Omega Group
• Paradox
• The PhoX Proof Assistant
• Prover 9 and Mace 4
• PVS Specification and Verification System
• Theorema
• TPS Theorem Proving System
• The CADE ATP System Competition
• The TPTP Problem Library for Automated Theorem Proving
• CADE: The Conference on Automated Deduction

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

Libraries

• Open Archives Initiative
• Internet Archive
• Arizona State University
• Scottsdale Public Library System
• Computer and Information Science Papers CiteSeer Publications ResearchIndex
• The WWW Virtual Library
• The Library of Congress catalog
• News from Scottsdale Public Library
• JSTOR
• CiteSeerX

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

• W3Schools Online Web Tutorials
• 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
• The Unicode Consortium
• 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)
• 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)

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	Snow Leopard	News and Information	Admin, Tips, and Useful Software
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 (Snow Leopard)
• 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

Snow Leopard

• Mac OS X Snow Leopard

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

git

• github

Beaux Arts

• The Endicott Studio (an interdisciplinary organization dedicated to the creation and support of mythic art)
• The Poetry Foundation
• The Academy of American Poets

Institutions

Universities

• Princeton University

Stanford University

• Stanford University
• Stanford on iTunes U

MIT

• MIT OpenCourseWare

United States Government

• United States Postal Service

Financial Institutions

• Chase

Miscellaneous Institutions

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

Blogs

• A Philosopher Muses
• Philosophy Talk Blog
• Technorati

Social Networks

• Dreamwidth

Travel

• AirBNB

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

• Google Reader
• 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
• The American Mathematical Society
• Mathematics Archive
• Association for Symbolic Logic
• OASIS
• Chris Swoyer
• 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
• How To Permanently Delete a Facebook Account
• Herbert B. Enderton
• Area codes locator

Paul E. Oppenheimer's personal links

• Twitter
• Store
• Papers
• Curriculum Vitæ (html)
• Curriculum Vitæ (plain text)
• PGP public key (ascii-armored)
• LinkedIn

Paul E. Oppenheimer's Blogs

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

Older Stuff

• Blog of Paul E. Oppenheimer (older blog)

Paul E. Oppenheimer's Twitter feed

Tweets by @peoppenheimer

This links page is licensed under a Creative Commons Attribution-Noncommercial 3.0 License. It is based on collections put together by my friends and colleagues. I thank them.