| |
Top >
Science >
Math >
Geometry >
Higher Dimensional
Top >
Science >
Math >
Geometry >
Non-Euclidean
Top >
Science >
Math >
Geometry >
Plane Geometry
Top >
Science >
Math >
Geometry >
Sculpture and Art
- Art, Geometry, and Abstract Sculpture - Various activities on computer graphics, art, math, geometry, and abstract sculpture.
- Geometric Sculpture - Features the works of George W. Hart. Focus is on constructive geometric forms.
- Geometricks - Includes virtual 3D, forum, gallery and triangle construction.
- Geometry Gallery - Collection of different geometric forms. Maintained by Vedder Wright.
- Islamic and Geometric Art - Features various designs, with additional information. Includes biography of the artist and shop to purchase some of the artistb.
- Kenneth Snelson Gallery - Sculptures using the concept of tensegrity.
- Math Art Gallery - Includes singularity knots, singularity knot animations, pictures generated by vort, and a few 3D fractals.
- Geometry@pendred.net - Features geometrical objects, including polyhedra, domes, tensegrities, towers, pyramids and helices.
- Religious Beliefs Made Visual: Geometry and Islam - Includes classroom exercises to explore construction of Islamic patterns.
- Sculpture Designs and Math Models - Features the works by Carlos H. Sequin.
- MathArt.org - Presents sculptures by Stewart Dickson, a pioneer in the field of visualizing mathematical objects in three physical dimensions using computer-aided rapid mechanical prototyping technologies, such as Stereolithography.
- Richard Hawkins' Digital Archive - Synergetic geometry images and animations. Also includes link to New Civilization Network.
- Tips & Tricks to Gothic Geometry - Ebook by Joe Chiffriller. Includes 30 pages of diagrams, full-color photos, step-by-step instructions, and dozens of links to further resources on the Web. Available in pdf format.
- Tom Lechner's Sculptures - Collection of artworks, some available for sale. Includes links to drawings, prints, murals and Consumption.
- Objects That Cannot Be Taken Apart with Two Hands - Construction based on the symmetries of a dodecahedron. Includes pictorial description of the theorem and other researchers' constructions.
- World of Escher - Explores the works of M.C. Escher. Provides insights and products to promote the Escher's works.
Top >
Science >
Math >
Logic and Foundations >
Computational Logic
- Automated Reasoning - Article from the Stanford Encyclopedia of Philosophy.
- Dual Identity Combinators - Provides an analysis of the effect of the identity combinators in dual systems. Written by Katalin Bimbó.
- John's Lambda Calculus and Combinatory Logic Playground - Includes links to paper available in pdf or postscript, and a java applet interpreting the simplest language.
- Lambda Calculus - Guide to lazy and strict versions of the lambda-calculus interpreter.
- PhoX Proof Assistant - Proof assistant that is eXtensible and is based on High Order logic. Includes links to download system and manual.
- Alfa - Proof editor succeeding ALF, an editor for direct manipulation of proof objects in a logical framework based on Per Martin-LC6f's Type Theory. Free download available.
- HOL Project - Automated proof system for higher order logic. Operates as an open source project with a BSD-style license allowing free use in commercial products.
- Isabelle - Generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow).
- Kumo - Web-based proof assistant for first order-hidden logic, using OBJ3 as a reduction engine. Also generates proof documentation for the web and supports distributed cooperative proving.
- LEGO Proof Assistant - Interactive proof development system designed and implemented by Randy Pollack in Edinburgh.
- MetaPRL - Logical framework defining and relating multiple logics, and a system implementation with support for interactive proof and automated reasoning. With download links, tutorials, user guide and developer guide.
- PRL Project - Focuses on implementing computational mathematics and providing logic-based tools that help automate programming.
- Proof General - Generic interface for proof assistants, based on the customizable text editor Emacs. Works with either XEmacs or GNU Emacs.
- Yarrow - Proof-assistant for Pure Type Systems (PTSs) with several extensions. With user guide, installation guide, tutorials and articles about Yarrow.
- Coq Proof Assistant - Formal proof management system, based on a logical framework called Calculus of Inductive Constructions extended by a modular development system for theories. With links to download, documentation and related tools.
- CtCoq - Provides a working environment for the Coq theorem prover. Developed at INRIA Sophia Antipolis.
Top >
Science >
Math >
Logic and Foundations >
Foundations
- Arche - Unit within the School of Philosophical and Anthropological Studies at the University of St. Andrews. Provides a focal point for the active and successful philosophical research culture which exists at St. Andrews.
- Century of Controversy over the Foundations of Mathematics - Focuses on foundations of mathematics, discusses connections with physics, and proposes a program of research for the next century. Talk delivered by Greg Chaitin at the Umass-Lowell in 1999.
- Foundations of Mathematics - Automated e-mail list for discussing foundations of mathematics. Subscriptions and postings upon approval of the moderator.
- Foundations of Mathematics Textbook/Reference - Resource center organized as a book as opposed to an encyclopedia, dictionary, directory, or link collection.
- Hilbert II - Forming a free, worldwide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. Project is in tradition of Hilbert's program.
- Mizar - Includes links to download system, Journal Formalized Mathematics, list of conferences, and mathematical library.
- Practical Foundations of Mathematics - Collects the methods of construction of the objects of twentieth century mathematics. With instructions on how to order copy.
Top >
Science >
Math >
Logic and Foundations >
Publications
- Proofs and Types - By Jean-Yves Girard, Yves Lafont and Paul Taylor. Available in pdf, dvi, or postscript.
Top >
Science >
Math >
Logic and Foundations >
Publications >
Bibliographies
Top >
Science >
Math >
Logic and Foundations >
Publications >
Journals
|