All sites of Mathematics

IEEE International Conference on Shape Modeling and Applications IEEE International Conference on Shape Modeling and Applications
IEEE International Conference on Shape Modeling and Applications- The IEEE International Conference on Shape Modeling and Applications (Shape Modeling International, or SMI) provides a premium international forum for the ...
International Workshop on Algorithms and Computation International Workshop on Algorithms and Computation
International Workshop on Algorithms and Computation- The 3rd International Workshop on Algorithms and Computation (WALCOM 2009) will take place at Indian Statistical Institute, Kolkata, India, February 18-20, 2009. The ...
Art Gallery Theorems and Algorithms Art Gallery Theorems and Algorithms
Art Gallery Theorems and Algorithms- By Joseph O'Rourke. Survey and description of the work in guarding "art galleries" and their generalizations, up until the date of publication (1987). Written for a general mathematic ...
CRC Handbook of Discrete and Computational Geometry CRC Handbook of Discrete and Computational Geometry
CRC Handbook of Discrete and Computational Geometry- Comprehensive handbook, edited by Jacob E. Goodman and Joseph O'Rourke, with 52 chapters in its first edition and 65 chapters in its second edition. ...
Algorithms in Combinatorial Geometry Algorithms in Combinatorial Geometry
Algorithms in Combinatorial Geometry- One of the well-known early textbooks, by Herbert Edelsbrunner. Includes chapters on arrangements, convex hulls, linear programming, planar point location, Voronoi diagrams, and sepa ...
International Journal of Computational Geometry and Applications International Journal of Computational Geometry and Applications
International Journal of Computational Geometry and Applications- World Scientific journal edited by D. T. Lee. Contents and abstracts from vol.10 (2000); full text to institutional subscribers. ...
Jeff Erickson's List of Computational Geometry Journals Jeff Erickson's List of Computational Geometry Journals
Jeff Erickson's List of Computational Geometry Journals- Journals publishing papers in computational geometry and related fields. ...
Computational Geometry: Theory and Applications Computational Geometry: Theory and Applications
Computational Geometry: Theory and Applications- Elsevier journal edited by Jörg-Rüdiger Sack and Kurt Mehlhorn. ...
Discrete and Computational Geometry Discrete and Computational Geometry
Discrete and Computational Geometry- An international journal of mathematics and computer science, covering a broad range of topics in which geometry plays a fundamental role. ...
Introduction to the Works of Euclid Introduction to the Works of Euclid
Introduction to the Works of Euclid- With an Emphasis on the Elements. By Donald Lancon, Jr. (student). ...
Euclid's Elements - Joyce's Java version Euclid's Elements - Joyce's Java version
Euclid's Elements - Joyce's Java version- This dynamically illustrated edition of Euclid's Elements includes 13 books on plane geometry, geometric and abstract algebra, number theory, incommensurables, and solid geometry ...
Byrne's Edition of Euclid Byrne's Edition of Euclid
Byrne's Edition of Euclid- Oliver Byrne's edition of Euclid with colours used instead of labels. A beautiful piece of artwork. ...
Euclid's Elements Euclid's Elements
Euclid's Elements- Welcome to the Platonic Solids as Demonstrated in Book Thirteen of Euclid's Elements. ...
Introduction to the Works of Euclid Introduction to the Works of Euclid
Introduction to the Works of Euclid- An essay on the Elements (by Don Allen). ...
The Visual Elements of Euclid The Visual Elements of Euclid
The Visual Elements of Euclid- New edition of the text of Heath, transformed into an extensively illustrated edition. ...
Euclid's Elements Euclid's Elements
Euclid's Elements- Edited by D.E. Joyce. HTML text with Java applets. ...
Euclid of Alexandria Euclid of Alexandria
Euclid of Alexandria- The Elements organized by book volume. ...
Euclid of Alexandria (about 325 BC to 265 BC) Euclid of Alexandria (about 325 BC to 265 BC)
Euclid of Alexandria (about 325 BC to 265 BC)- Biography of the most prominent mathematician of antiquity, with a number of pictures. ...
A presentation of the Curry-Howard Correspondence (1997) A presentation of the Curry-Howard Correspondence (1997)
A presentation of the Curry-Howard Correspondence (1997)- Notes on the Curry-Howard correspondence by Chantal Berline. ...
CtCoq CtCoq
CtCoq- a working environment for the Coq theorem prover (XWindow) ...
The Coq proof assistant The Coq proof assistant
The Coq proof assistant- Allows the user 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 forma ...
Logic Programming in the LF Logical Framework (1991) Logic Programming in the LF Logical Framework (1991)
Logic Programming in the LF Logical Framework (1991)- Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF. ...
Bernays, Paul Bernays, Paul
Bernays, Paul- Biography of Paul Bernays (1888-1977) from the MacTutor History of Mathematics Archive. ...
The Bernays Project The Bernays Project
The Bernays Project- Research project to edit and translate Bernays's philosophical writings into English. ...
The Calculus of Logic The Calculus of Logic
The Calculus of Logic- Seminal paper of 1848 available in various formats. ...
George Boole George Boole
George Boole- Biography from the MacTutor History of Mathematics archive. ...
Georg Cantor Georg Cantor
Georg Cantor- Biography of Georg Cantor (1845-1918) from the MacTutor History of Mathematics Archive. ...
Georg Ferdinand Ludwig Philipp Cantor Georg Ferdinand Ludwig Philipp Cantor
Georg Ferdinand Ludwig Philipp Cantor- Biography, including an account of the development of his thinking on mathematics, and his relationships with his peers. ...
Georg Cantor Georg Cantor
Georg Cantor- Brief biography from the Real Analysis website. ...
Church-Turing Thesis Church-Turing Thesis
Church-Turing Thesis- Article in the Stanford Encyclopedia. ...
Alonzo Church Alonzo Church
Alonzo Church- Biography from the MacTutor History of Mathematics archive. ...
The Need for Abstract Entities The Need for Abstract Entities
The Need for Abstract Entities- Philosophical paper by Alonzo Church ...
The Bulletin of Symbolic Logic, December 1995 The Bulletin of Symbolic Logic, December 1995
The Bulletin of Symbolic Logic, December 1995- Contains obituary by H. B. Enderton. ...
Gottlob Frege Gottlob Frege
Gottlob Frege- Short biography from the Metaphysics Research Lab at Stanford. ...
Gottlob Frege Gottlob Frege
Gottlob Frege- Biography from the MacTutor History of Mathematics archive. ...
Gottlob Frege Gottlob Frege
Gottlob Frege- Entry from the Stanford Encyclopedia. ...
Frege's Logic, Theorem, and Foundations for Arithmetic Frege's Logic, Theorem, and Foundations for Arithmetic
Frege's Logic, Theorem, and Foundations for Arithmetic- Stanford Encyclopedia article on Frege's work on the foundations of mathematics. ...
Gödel's Ontological Argument Gödel's Ontological Argument
Gödel's Ontological Argument- Paper by Chris Small about Gödel's proof of the existence of God. ...
Kurt Gödel in Blue Hill Kurt Gödel in Blue Hill
Kurt Gödel in Blue Hill- A brief account of Kurt Gödel's trip to Blue Hill, Maine, in the summer of 1942, by Peter Suber. ...
Kurt Gödel Kurt Gödel
Kurt Gödel- Biography from the MacTutor History of Mathematics archive. ...
Gödel: A Life of Logic Gödel: A Life of Logic
Gödel: A Life of Logic- By John L. Casti and Werner DePauli. Book review of this biography. ...
Godel's Theorems Godel's Theorems
Godel's Theorems- Godel's Incompleteness Theorem by Dale Myers. ...
Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem
Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem- A reasonably detailed explanation of Godel's Theorem by Kenny Felder. ...
Kurt Gödel Kurt Gödel
Kurt Gödel- Portraits and photographs, including some of his family. ...
Kurt Gödel Kurt Gödel
Kurt Gödel- A brief biography of the man. ...
David Hilbert David Hilbert
David Hilbert- Biography from the MacTutor History of Mathematics Archive. ...
Mathematical Problems of David Hilbert Mathematical Problems of David Hilbert
Mathematical Problems of David Hilbert- Text of Hilbert's 1900 address in English. ...
David Hilbert David Hilbert
David Hilbert- Brief biography with references. ...
Hilbert's Problems Hilbert's Problems
Hilbert's Problems- Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD. ...
Hilbert's Program Hilbert's Program
Hilbert's Program- In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia of ...

Latest sites from Mathematics