John Baugh's Favorite Links

Topics:

• Running
• Birding
• Puzzles and games
• Software repositories
• Formal methods in computing
• Systems and optimization
• Miscellaneous NCSU pages
• Reference

Running

Ozzie Gontang's Mindfulness.com Site

http://www.mindfulness.com/

Running With Doc Sheehan - Runner, Philosopher, Author of Running & Being

http://www.georgesheehan.com/

North Carolina Roadrunners Club Website

http://www.ncroadrunners.org

Kevin Sayers' UltRunR Site

http://www.fred.net/ultrunr/

Phil Maffetone's MAF BioNutritionals

http://www.mafgroup.com/

Runner's World Online

http://www.runnersworld.com/

Road Runner Sports - World's Largest Running Store

http://www.roadrunnersports.com/

Birding

North Carolina Online Bird Clubs

http://birding.about.com/cs/clubsnorthcarolina/index.htm

Chapel Hill Bird Club

http://www.duke.edu/~cwcook/chbc/

The Carolina Bird Club

http://www.carolinabirdclub.org/

Birder's World Magazine

http://www.birdersworld.com/

Stokes Birds at Home

http://www.stokesbirdsathome.com/

Puzzles and Games

Math Puzzles

http://mathpuzzle.com

A Collection of Classic Online Games

http://www.allmixedup.com/

A Gallery of Interactive On-Line Geometry

http://www.geom.umn.edu/apps/gallery.html

BU's Interactive WWW Games

http://www.bu.edu/Games/games.html

Software repositories

Netlib collection of mathematical software, papers, and databases

http://www.netlib.org/

Guide to Available Mathematical Software

http://gams.nist.gov/

National HPCC Software Exchange (NHSE)

http://www.nhse.org/

Matlab

http://www.mathworks.com/support/ftp

Formal methods in computing

Formal Methods Virtual Library

http://www.comlab.ox.ac.uk/archive/formal-methods.html

NASA Langley Formal Methods Program

http://shemesh.larc.nasa.gov/fm-top.html

SRI Formal Methods and Dependable Systems

http://www.csl.sri.com/sri-csl-fm.html

Larch

http://www.sds.lcs.mit.edu/Larch/

Systems and optimization

OR Resources (by Michael Trick)

http://mat.gsia.cmu.edu/

World-Wide-Web for Operations Research and Management Science

http://www.worms.ms.unimelb.edu.au/

Linear Programming FAQ

http://www-unix.mcs.anl.gov/otc/Guide/faq/linear-programming-faq.html

Nonlinear Programming FAQ

http://www-unix.mcs.anl.gov/otc/Guide/faq/nonlinear-programming-faq.html

LINDO Systems Home Page

http://www.lindo.com/

CPLEX Optimization, Inc. Home Page

http://www.cplex.com/

Miscellaneous NCSU pages

NCSU Academic Calendar

http://www2.acs.ncsu.edu/grad/calendar.htm

Mann Hall Computer Lab

http://www.eos.ncsu.edu/labs/map/mann.html

NCSU Linux Users Group

http://www.linux.ncsu.edu/

Reference

The Official U.S. Time

http://www.time.gov

U. S. Bureau of the Census Home Page

http://www.census.gov/

Genealogy

http://www.rootsweb.com/