| |
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
- ScienceDirect Top 25 Hottest Articles - List of the top articles in the Annals of Pure and Applied Logic journal.
- Archive for Mathematical Logic - Articles available to subscribers. Non-subscribers may purchase articles online.
- Bulletin of Symbolic Logic - Articles in postscript, available for free download.
- Fundamenta Mathematicae - Focuses on papers on set theory, mathematical logic and foundations of mathematics, topology and its interactions with algebra, and dynamical systems.
- History and Philosophy of Logic - Available for subscription.
- Israel Journal of Mathematics - With indices available in ps, dvi, tex, or pdf.
- Journal of Functional and Logic Programming - Electronic journal covering topics from functional and logic programming. Available in postscript or pdf.
- Journal of Logic and Computation - Provides free access to abstracts. Full text available to subscribers, or may be purchased by non-subscribers.
- Journal of Mathematical Logic - Offers free online sample issues and abstracts. Full text available in pdf to subscribers.
- Journal of Symbolic Logic - Publishes articles on symbolic logic, including its connections with mathematics and philosophy as well as computer science and linguistics. Full text available to ASL members via JSTOR.
- Electronic Journal on Pure and Applied Logic - Articles available in dvi or postscript.
- Logic Journal of the IGPL - Publishes papers in all areas of pure and applied logic. Full text available to subscribers.
- Modern Logic - Journal for the history, philosophy, invention and pedagogy of modern logic, set theory, and the foundations of mathematics. With links to subscription and publication information.
- Nordic Journal of Philosophical Logic - Articles available in pdf. Restricted to subscribers only.
- Notre Dame Journal of Formal Logic - Publishes works of researchers on logic and foundations of mathematics.
- Studia Logica - Publishes original papers on logical systems, which utilize methods of contemporary formal logic, those of algebra, model theory and proof theory.
- ACM Transactions on Computational Logic - Covers the field of computational logic consisting of all uses of logic in computer science.
|