Science

University of Bristol. Functional Spaces;Partial differential equations; Spectral theory. Publications, projects.

A comprehensive, semester-long mathematical environment for a group of talented undergraduate students recruited from throughout the United States, held at Penn State.

Annual summer program at the University of Michigan in Ann Arbor. Information, course details, fees, and registration.

Assists users with solving problems in college level statistics, calculus, and linear algebra. Includes message board.

Send in problems ranging from basic arithmetic to advanced proofs. Includes a couple of solved problems and contact information.

Centre for Mathematics Education. People, courses, research projects and themes, publications, meetings, resources.

Presents papers and mathematical problems by and for its members.

Journal of the World Federation of National Mathematics Competitions. Published biannually by the Australian Mathematics Trust.

KöMaL regularly reports on national and international competitions, prints articles on interesting results in mathematics and physics, and includes book reviews. For more than 30 years all the new problems have appeared in English as well as Hungarian.

Online mathematics magazine covering a variety of math topics, published by the University of Cambridge.

Community college math instructor. Also textbook, web, and multimedia author. Free math lessons, a weekly contest problem, and free tutoring by e-mail.

Templates, directions, and some links to other slide rule sites.

Internet tool for geometry instruction.

Interactive software to explore mathematical topics. Based on Mathematica notebooks but stand-alone. Windows/Mac. On-line purchase.

Features online curricula of algebra, geometry and cross-disciplinary courses.

Provides compilations of interactive, self-checking exercises, puzzles and tools for the teaching of mathematics. To be used with Microsoft Excel.

Software for sale with activities involving arithmetic, time, simple geometry, and money. Includes fractions, and place value.

National Council of Teachers of Mathematics (NCTM) Standards 2000 project discussion group.

Archives of the Association of Mathematics Teacher Educators discussion list.

Using art, writing, journals, research, computers, and the internet to make math class an exciting adventure. Includes free downloads and information about the members.

Current Developments in Mathematics. Harvard University, Cambridge, MA, USA; 21--22 November 2003.

Turitea site, Palmerston North campus, Massey University; 3--6 December 2001.

Kyiv, Ukraine; 16--21 August 2004.

Popular talks on the Clay Millennium Challenge at the British Association Festival of Science. Exeter, UK; 6 September 2004.

Abstracts, photos. Zagreb, Croatia; 15--17 June 2000.

The 26th Nordic Congress of Mathematicians and 1st European-Nordic Congress of Mathematicians; Lund, 10 to 13 June 2013. Dedicated to the memory of Lars Hörmander.

Resources and final report of the Computational Geometry Working Group, formed as part of the ACM Workshop on Strategic Directions in Computing Research, held at MIT in 1996.

Notes by Balázs Csikós. Chapters in PostScript.

Mathematical and computer programming oriented approach. Discusses wireframe rendering and ray-tracing.

Software simulation offering straightedge and compass constructions in hyperbolic geometry.

Geometric group theory. Includes a problem list.

University of Utah. Low-dimensional geometry and topology.

Differential geometry, mathematical visualisation.

A monograph aiming to provide a readable introduction to the field of projective geometry and a handy reference for some of the more important equations. HTML, PS or PDF versions.

A set of mathematical environments for computing, visualizing and experimenting with geometric objects; built with the OpenGL/Mesa library and the GTK+ user interface.

Software for interactive geometry in three dimensions. In English, French and German.

Catalogued stars, predicted a planet beyond Uranus as well as the existence of dark stars, investigated Johann Kepler's problem of heliocentricity, and systematized the mathematical functions involved, which now bear his name.

Discusses this early Grecian's discoveries in finding a good approximation of the circumference of the earth, the tilt angle of our planet and a tool for finding prime numbers. Page includes biographical information.

Maintained by Christian Gottschall, Vienna philosophy department.

Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.

A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.

Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.

Boise State University - Set theory: New Foundations, automated theorem proving.

Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.

Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.

Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.

Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.

Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic.

A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.