All sites of Mathematics

Paul Erdös Paul Erdös
Paul Erdös- Biography of the mathematician with links to relevant terms and related links. From the MacTutor History of Mathematics Archive. ...
The Leonhard Euler Tercentenary - Basel 2007 The Leonhard Euler Tercentenary - Basel 2007
The Leonhard Euler Tercentenary - Basel 2007- The Leonhard Euler Tercentenary in Basel (Switzerland) in 2007: Celebration, Lectures, Exhibition, Symposium ...
Leonhard Euler (1707-1783) Leonhard Euler (1707-1783)
Leonhard Euler (1707-1783)- Biography and Works of the Basel born mathematician, from the MacTutor History of Mathematics archive. ...
Leonhard Euler (pronounced oiler) 1707-1783 Leonhard Euler (pronounced oiler) 1707-1783
Leonhard Euler (pronounced oiler) 1707-1783- Describes the mathematician's early upbringing, schooling, first published materials, visual impairments, and his work with series functions. ...
Leonard Euler and Modern Combinatories Leonard Euler and Modern Combinatories
Leonard Euler and Modern Combinatories- This International Conference was held in Saint-Petersburg, Russia from June 1 to June 7, 2007. ...
Leonhard Euler Festival Leonhard Euler Festival
Leonhard Euler Festival- This festival is being held in Saint-Petersburg, Russia, from 10 to 12 June, 2007. ...
Euler International Mathematical Institute Euler International Mathematical Institute
Euler International Mathematical Institute- The main purpose of the Euler Institute is to serve as a meeting place for leading scientists of the former Soviet Union and their foreign colleagues. The activity of the Euler ...
Euler Foundation Euler Foundation
Euler Foundation- This organization was formed by Saint-Petersburg mathematicians including A.M. Vershik, S.V. Vostokov, I.A. Ibragimov and L.D. Faddeev, with the goal of giving support to scientists, namely young mathem ...
Euler, Leonhard (1707-1783) Euler, Leonhard (1707-1783)
Euler, Leonhard (1707-1783)- Describes the mathematician's contribution to number theory and other findings and his introduction of letters from the Greek alphabet as symbols. ...
The Euler Archive The Euler Archive
The Euler Archive- An online resource for Leonhard Euler's original works and modern Euler scholarship: to help make available in English some of the works of the great Swiss mathematician Leonhard Euler (1707-1783). ...
The Évariste Galois Archive The Évariste Galois Archive
The Évariste Galois Archive- Documents and texts about the life and works of the famous mathematician Evariste Galois in German, French, Italian, English, and Spanish. ...
Galois, Evariste Galois, Evariste
Galois, Evariste- Biography in the St Andres archive. ...
Galois, Évariste (1811-1832) Galois, Évariste (1811-1832)
Galois, Évariste (1811-1832)- Galois theory, a branch of mathematics dealing with the general solution of equations, group theory, method of determining when a general equation could be solved by radicals, solved many lo ...
Galois, Évariste Galois, Évariste
Galois, Évariste- Biography of the mathematician from Eric Weisstein's World of Scientific Biography. ...
Évariste Galois - Wikipedia Évariste Galois - Wikipedia
Évariste Galois - Wikipedia- Biography of the mathematician with links to relevant terms. ...
Menger Menger
Menger- A short biography of Karl Menger (1902-1985) ...
Karl Menger Karl Menger
Karl Menger- A memorial note by Seymour Kass. ...
Undusting Napier's Bones Undusting Napier's Bones
Undusting Napier's Bones- Attempts to shed some light on the life and works of John Napier. Biographical information about the Scottish mathematician, as well as information on his ingenious arithmetic trick called Napie ...
John Napier John Napier
John Napier- Biographical information on this Scottish protestant mathematician. ...
Automated Reasoning Automated Reasoning
Automated Reasoning- Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro. ...
Lambda Lambda
Lambda- An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions. ...
Perl Contains the Lambda-Calculus Perl Contains the Lambda-Calculus
Perl Contains the Lambda-Calculus- Explains why this computer program is well suited to apply to functional application. ...
The LEGO Proof Assistant The LEGO Proof Assistant
The LEGO Proof Assistant- A powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspect ...
Alfa Alfa
Alfa- A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download. ...
NuPrl Proof Development System NuPrl Proof Development System
NuPrl Proof Development System- A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. Features include: very expressive logical language based on Martin-Lof type theory, extensi ...
Proof General Proof General
Proof General- Emacs based generic interface for theorem provers. ...
Kumo Kumo
Kumo- A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented ...
Af2 Proof Assistant Af2 Proof Assistant
Af2 Proof Assistant- A type system based on second order intuitionistic logic. ...
Isabelle Isabelle
Isabelle- Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich. ...
The HOL Theorem Proving System The HOL Theorem Proving System
The HOL Theorem Proving System- The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics. ...
Yarrow Yarrow
Yarrow- A proof-assistant for Pure Type Systems (PTSs), representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is required. (This isomor ...
Ong, Luke Ong, Luke
Ong, Luke- Oxford University, UK. ...
Japaridze, Giorgi Japaridze, Giorgi
Japaridze, Giorgi- Villanova University, USA. ...
Blass, Andreas Blass, Andreas
Blass, Andreas- University of Michigan, USA. ...
Van Benthem, Johan Van Benthem, Johan
Van Benthem, Johan- University of Amsterdam, the Netherlands and Stanford University, USA. ...
Parikh, Rohit Parikh, Rohit
Parikh, Rohit- Brooklyn College, USA and City University of New York, USA. ...
Abramsky, Samson Abramsky, Samson
Abramsky, Samson- Oxford University, UK. ...
Modern Interpretation of Ancient Logics Modern Interpretation of Ancient Logics
Modern Interpretation of Ancient Logics- Scientific articles on formal aspects of Ancient Western and Indian Logic. Papers on modern interpretation of Aristotle's, Leibniz' and ancient Indian logic. ...
Who are Boole, Fitch, and Tarski? Who are Boole, Fitch, and Tarski?
Who are Boole, Fitch, and Tarski?- Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof and Logic. ...
British Logic Colloquium 2004 British Logic Colloquium 2004
British Logic Colloquium 2004- University of Leeds; 6--8 September 2004. ...
British Logic Colloquium 1999 British Logic Colloquium 1999
British Logic Colloquium 1999- University of Wales, Gregynog; 23 -- 25 September 1999. Photos. ...
British Logic Colloquium 2000 British Logic Colloquium 2000
British Logic Colloquium 2000- University of East Anglia, Norwich; 7--9 September 2000. ...
LJ-IGPL, Related Conferences and Events LJ-IGPL, Related Conferences and Events
LJ-IGPL, Related Conferences and Events- Pointers to conferences and workshops in the IGPL database. ...
ESSLLI 2001 ESSLLI 2001
ESSLLI 2001- 13th European Summer School in Logic, Language and Information. On-line registration. University of Helsinki, Finland; 13--24 August, 2001. ...
ESSLLI 2004 ESSLLI 2004
ESSLLI 2004- 16th European Summer School in Logic, Language and Information. Nancy, France, 9-20 August 2004. ...
ESSLLI 2003 ESSLLI 2003
ESSLLI 2003- 15th European Summer School in Logic Language and Information. Vienna, Austria, August 18-29, 2003. ...
ISMVL 2002 ISMVL 2002
ISMVL 2002- Boston, Massachusetts, May 15-18, 2002. ...
ISMVL 2001 ISMVL 2001
ISMVL 2001- Warsaw, Poland, May 22-24, 2001. ...
ISMVL 2000 ISMVL 2000
ISMVL 2000- Portland, Oregon, May 23--25, 2000. ...
ISMVL 2003 ISMVL 2003
ISMVL 2003- Tokyo, Japan, May 16-19, 2003. Photographs. ...

Latest sites from Mathematics