general mathematics resources
|
| links
| comments
|
| mathematics chronology
| Provided by the School of Mathematics and Statistics University of St Andrews, Scotland. Includes subject glossary, biographies and a subject index. See also their script which tells you Mathematicians alive on a given date. Useful for deciding on something to celebrate at a party is Mathematicians' anniversaries throughout the year.
|
| MSC 2000
| 2000 Mathematics Subject Classification. I prefer to use their MSC 2000 directory browsing. Hosted by the Fachinformationszentrum Karlsruhe, which includes some useful mathematics links.
|
| Mathematical atlas
| Includes a set of articles on the areas of mathematics arranged by AMS classification (MSC). Includes differential geometry. Includes such detailed things as an example of a topological space which is locally Euclidean but not Hausdorff.
|
| Geometry.net links
| A very useful-looking large set of links to mathematics sites. They also seem to run a search engine (called `Copernic'?) for finding mathematics sites on the web.
|
| AMS maths in media
| AMS archive of maths that appears in the media.
|
| Math Forum
| A web site with a useful general discussion groups and research discussion groups for mathematics.
|
| sci.math
| sci.math.* news groups at Google.
|
| science oxygen
| 2005-11-26: Includes tensor analysis and Lie Groups and Lie Algebras and differential geometry. This seems to be an automatically generated set of links from Google searches.
|
free download books, lecture notes, research papers
|
| links
| comments
|
| halfvalue.com textbooks
| 2007-2-26: Free mathematics textbooks online.
|
| maths textbooks
| 2005-3-1: A really big list of free online textbooks on mathematics collected by Alexandre Stefanov. See also his links to other lists of maths books online.
This list is duplicated at algebra.com.
|
| Le MathsLinker
| 2005-3-1: An index of maths resources (such as free books) on the web in French and English.
|
| Lyon
| 2007-3-14: Archive des rapports de stages des étudiants de l'École Normale Supérieure de Lyon.
|
| books.pspxworld.com
| 2007-2-12: An index of free mathematics books. They seem to be elementary.
|
| geometry and topology
| The net advance of physics. A big list of maths and physics documents for download from the net.
|
| Norbury e-books
| Several free online books in PDF format by John W. Norbury. Includes a book on general relativity.
|
| Sean O'Hagan's list
| 2004-6-27: A list of free downloadable maths books, mostly on algebraic topology and differential geometry.
|
| citeseer.ist.psu.edu
| 2005-3-18: CiteSeer. Scientific Literature Digital Library. Lots of online science/engineering literature including mathematics, nicely indexed.
|
| Rincón Matemático
| 2007-4-30: Spanish-language web site for mathematics students. Uses SMF (Simple Machines Forum) software.
|
| See also free online download differential geometry textbooks and notes.
|
mathematics journals
|
| links
| comments
|
| GANG
| Geometry Analysis Numerics Graphics journal preprints. Includes these papers by Evans and Spruck on motion by mean curvature.
|
| DG e-prints
| Online reprints of papers in a large number of DG topics.
|
| JDG
| 2005-3-20: Journal of Differential Geometry. See also JDG article submission.
|
| arXiv.org e-Print archive
| Some sort of archive of maths and physics publications. Includes a paper on Manyfold universe theory. See also arxiv.org/archive/math.
|
| WorldSciNet
| A site with a big collection of journals, including on maths and physics. Includes International Journal of Mathematics.
|
analysis and differential geometry
|
| links
| comments
|
| geometry.net DG links
| A big set of useful links on differential geometry.
|
| the Spivak book
| The 3rd edition (1999) of Michael Spivak's 5-volume DG book. Costs US$145 for the set.
|
| TCAEP
| Amazon book-selling of DG books via the constants and equations pages.
|
| DG/PDE seminars
| Info on University of Washington seminars. Includes this postscript abstract of a talk by John McCuan (MSRI) in Fall 1998 on applications of convexity maximum principles to problems of constant sectional curvature. Also refers to a paper by Alvarez, Lasry and Lions (1997) which gives an improved convexity maximum principle.
|
| DG book draft
| Alan Kennington's free online differential geometry book draft, including differentiable manifolds, fibre bundles, connections and riemannian manifolds.
|
| DG and GR notes
| DG and general relativity lecture notes by Stefan Waner.
|
| DG lecture notes
| A set of differential geometry lecture notes by Sergei Yakovenko.
|
mathematics institutions and organisations
|
| links
| comments
|
| Uni Tübingen
| Department of Maths, University of Tübingen. Includes Gerhard Huisken.
|
| University of Sevilla
| Department of Geometry and Topology.
|
| UK mathematics
| Home page of University of Kentucky mathematics department. Includes staff web pages.
|
| Brandeis Maths Dept
| Massachusetts.
|
| SINTEF
| Applied Mathematics institute in Trondheim, Norway.
|
| IMAG
| Institut d'Informatique et Mathématiques Appliquées de Grenoble.
|
| UTSA
| Division of Mathematics and Statistics, University of Texas at San Antonio.
|
| Aust Math Soc
| See also Australian Math Society Welcome Page.
|
Australian University mathematics departments
|
| links
| comments
|
| SMS ANU
| School of mathematical sciences, ANU.
|
| University of Adelaide
| Mathematics departments' web site. Includes Institute for Geometry and its Applications and Adelaide University differential geometry seminars.
|
mathematicians
|
| links
| comments
|
| Halmos essay
| An essay by Paul R. Halmos on How to write Mathematics .
|
| Avner Friedman
| See also this short vita .
|
| Hyam Rubinstein
| University of Melbourne. Differential geometry.
|
| Grant Keady
|
|
| Stephan Luckhaus
| I met Stephan in Heidelberg (1986/87) and Bonn (1991 or 1992). He helped simplify an interior cone condition in a paper of mine on parabolic initial value problems in 1986/87.
|
| Thorbergsson Gudlaugur
| Differential geometer in the Mathematisches Institut der Universität zu Köln.
|
| Bill Burke
| Some differential geometry links. Died 1996.
|
| A.N. Tikhonov
| 2005-3-11: Андрей Николаевич Тихонов (Andrei Nikolaevich Tikhonov). See also this Tikhonov biography.
|
| queueing theorists
| 2007-3-17: A list of over 1400 queueing theorists . Very scary!
|
mathematics software
|
| links
| comments
|
| WIMS
| WWW Interactive Mathematics Server. Lots of interactive mathematics software online.
|
logic software
|
| links
| comments
|
| HOL
| Automated Reasoning Group HOL page. The HOL System is an environment for interactive theorem proving in a higher-order logic. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. The system is available without charge. Cambridge University.
|
| Coq
| The Coq proof assistant allows to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification . Inria, France.
|
| Isabelle
| Isabelle is a popular generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow).
|
mean curvature flow
|
| links
| comments
|
| Sethian publications
| Publications of J.A. Sethian.
|
Russell's paradox
|
| links
| comments
|
| Stanford Encyclopedia
| 2005-5-4: History and significance of the paradox.
|
| scienceworld.wolfram.com
| 2005-5-4: This very brief biography of Frege contains the famous quote (from the same book by E.T. Bell where I found it): A scientist can hardly encounter anything more undesirable than to have the foundation collapse just as the work is finished. I was put in this position by a letter from Mr. Bertrand Russell when the work was almost through the press. See also Google. See also St. Andrews biography of Frege
|
| Justin T Miller
| 2005-5-4: Includes discussion of Frege's reaction to Russell's paradox, and this comment:
Although the foundation of his theory had been destroyed, Russell described Frege's reaction as superhuman, writing to van Heijenoort that Frege responded with intellectual pleasure clearly submerging any feelings of personal disappointment .
|
| diagonal method
| 2005-5-4: Diagonal method and Russell's paradox.
|
ontology of mathematics
|
| links
| comments
|
| where maths comes from
| 2006-12-17: A book called: Where mathematics comes from: how the embodied mind brings mathematics into being . Authors: George Lakoff & Rafael E. Núñez.
|
| Paul Ernest
| 2004-4-11: Texts and the objects of mathematics. Extract from Chapter 6 of Social Constructivism as a Philosophy of Mathematics, Albany, New York: SUNY Press, 1997.
|
mathematical logic
|
| links
| comments
|
| wiki CC axiom
| 2007-4-20: A useful wikipedia article on countable axiom of choice. See also axiom of choice, Gödel's incompleteness theorems. For something more cheerful, see also Gödel's incompleteness theorem (in German).
|
| planetmath.org
| 2005-1-28: Includes an article on countable axiom of choice stating as follows: The Axiom of Countable Choice (CC) is a weak form of the Axiom of Choice. It states that every countable set of nonempty sets has a choice function. ZF+CC (that is, the Zermelo-Fraenkel axioms together with the Axiom of Countable Choice) suffices to prove that the union of countably many countable sets is countable. It also suffices to prove that every infinite set has a countably infinite subset.
|
related URLs
|
| links
| comments
|
| kleinbottle.com
| These people sell Klein bottles, mugs and hats.
|
| digits of Pi
| An article on randomness of the decimal digits of Pi.
|
| Confidence Intervals
| Slide 3 of 7. Computation Physics / Carleton University.
|
| integer sequences
| Online encyclopedia of integer sequences.
|
| math methods
| The beginnings of texts (free online) on mathematical methods for physics, by Richard Scalzo.
|
| tessellations.com
| Commercial site with stuff related to tessellations.
|
| history of topology
| A page of lecture notes on history of topology. Comes from a set of notes by E. Christopher Zeeman.
|
| crank.net
| Links to bizarre maths on the net.
|
| Kungl texts
| Some documents on a swedish site, including this doctoral thesis on convexity by Arshak Petrosyan.
|
dualities in N=2 string theory
| Includes differential geometry and a definition of principal fibre bundle. But the graphics files are missing!
|
| Cardaliaguet
| Some papers by Pierre Cardaliaguet, including one on strict concavity of the harmonic radius in dimension N>2.
|
theorème d'uniformisation de Riemann
| A maths document in French. It uses some sort of TeX to PNG convertor to present maths on the web.
|
| Millennium problems
| 2005-3-18: In order to celebrate mathematics in the new millennium, The Clay Mathematics Institute of Cambridge, Massachusetts (CMI) has named seven Prize Problems. The Scientific Advisory Board of CMI selected these problems, focusing on important classic questions that have resisted solution over the years. The problems titles are: Birch and Swinnerton-Dyer Conjecture , Hodge Conjecture , Navier-Stokes Equations , P vs NP , Poincaré Conjecture , Riemann Hypothesis , Yang-Mills Theory . |