All sites of Mathematics

PVS PVS
PVS- The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later. Required is Emacs (version 19 or later), recommended La ...
Tree Proof Generator Tree Proof Generator
Tree Proof Generator- An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM. ...
Gateway to Logic Gateway to Logic
Gateway to Logic- A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae. ...
llprover llprover
llprover- A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic. ...
DC Proof Online DC Proof Online
DC Proof Online- New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. I ...
Proof General Proof General
Proof General- Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox. ...
Applets for Prime Numbers Applets for Prime Numbers
Applets for Prime Numbers- Factorization and weights of Proth coefficients. ...
Church Church
Church- Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python. ...
WinKE WinKE
WinKE- An interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design of the software ...
Bertrand Bertrand
Bertrand- Bertrand solves sets of first-order predicate logic statements for satisfiability (consistency), validity, and equivalence. It also checks single statements for "logical truth" (tautology) and "logical falsity" ...
j'Imp Theorem Prover j'Imp Theorem Prover
j'Imp Theorem Prover- An automatic theorem prover based on set of support and ordered resolution for first-order logic. j'Imp is part of the Orbital library. This library is a Java class providing object-oriented represe ...
Ernst Abbe Ernst Abbe
Ernst Abbe- Biography of the mathematician with links to relevant terms and related links. From the MacTutor History of Mathematics Archive. ...
Bernoulli, Johann Bernoulli, Johann
Bernoulli, Johann- Pioneers in the field of calculus, applied the new tool to real problems, life was one of the most controversial of any mathematician, member of the world's most successful mathematical family, also kn ...
Shasha, Dennis Shasha, Dennis
Shasha, Dennis- Biological computing, fault-tolerant parallel computing, professor of Computer Science at New-York University, author of "The Puzzling Adventures of Dr. Ecco" (Dover, 1998), "Code, Puzzles and Conspiracy" ...
Arndt - Jörg's Useful and Ugly Pages Arndt - Jörg's Useful and Ugly Pages
Arndt - Jörg's Useful and Ugly Pages- FFT related, HFLOAT package and pi, math/numerics/code links, GRFX, Mandelbrot wallpaper, scripts and configuration files. ...
Leiserson, Charles E. Leiserson, Charles E.
Leiserson, Charles E.- Professor of Computer Science and Engineering at MIT. Biography, CV, research interests, and publications. ...
Davenport, James Davenport, James
Davenport, James- University of Bath. Computer Algebra, OpenMath Project, Mediated Learning Environments. Publications, resources. ...
Mantzaflaris, Angelos Mantzaflaris, Angelos
Mantzaflaris, Angelos- Personal webpage, activities, research, software and links. ...
Williams - Roy Williams Williams - Roy Williams
Williams - Roy Williams- Center for Advanced Computing Research. Interests: providing meaningful access by people to scientific data, searching for small signals in noisy data. ...
Mathographies Mathographies
Mathographies- Some biographical sketches of mathematicians, ancient and modern. ...
Mathematician Biography Index Mathematician Biography Index
Mathematician Biography Index- Brief biographies for virtually every important mathematician in history. ...
Women Mathematicians, Sponsored by Agnes Scott College Women Mathematicians, Sponsored by Agnes Scott College
Women Mathematicians, Sponsored by Agnes Scott College- Biographies to illustrate the achievements of women in the field of mathematics. ...
Erdös Number Project Erdös Number Project
Erdös Number Project- Research into the collaboration graph centered around mathematician Paul Erdös. ...
Indexes of Biographies Indexes of Biographies
Indexes of Biographies- Biographies of famous mathematicians, indexed alphabetically and chronologically. Part of MacTutor History of Mathematics archive. ...
CML Search CML Search
CML Search- Combined Membership List for the AMS, MAA, SIAM, AMATYC, AWM and CMS. Includes almost all North American mathematicians. ...
Chronological List of Mathematicians Chronological List of Mathematicians
Chronological List of Mathematicians- A list of all of the important mathematicians working in a given century. ...
Mathematicians of the Seventeenth and Eighteenth Centuries Mathematicians of the Seventeenth and Eighteenth Centuries
Mathematicians of the Seventeenth and Eighteenth Centuries- Accounts of their lives and works, adapted from "A Short Account of the History of Mathematics" by W. W. Rouse Ball. ...
EMS Directory of Individual Members EMS Directory of Individual Members
EMS Directory of Individual Members- Searchable directory of individual members of the European Mathematical Society who have permitted the publication of their data. ...
Math Reviews Author Database Math Reviews Author Database
Math Reviews Author Database- Searchable: requires subscription. ...
Women in Math Project Women in Math Project
Women in Math Project- Biographies, bibliographies, a search engine, information and links to journals, newsletters, and catalogs on or of interest to women in mathematics. ...
Images of Mathematicians on Postage Stamps Images of Mathematicians on Postage Stamps
Images of Mathematicians on Postage Stamps- High-quality scans of postage stamps from around the world picturing famous mathematicians. ...
Mathematicians of the African Diaspora Mathematicians of the African Diaspora
Mathematicians of the African Diaspora- African American Mathematicians. ...
Mathematics Genealogy Project Mathematics Genealogy Project
Mathematics Genealogy Project- Searchable database of mathematics doctorates by advisor, school, year, thesis title, and thesis topic. ...
Electronic World Directory of Mathematicians (EWDM) Electronic World Directory of Mathematicians (EWDM)
Electronic World Directory of Mathematicians (EWDM)- A project of the International Mathematical Union (IMU) to create a searchable directory of mathematicians' home pages. ...
E-mail Addresses of Russian Mathematicians E-mail Addresses of Russian Mathematicians
E-mail Addresses of Russian Mathematicians- Compiled by Sergei Duzhin. ...
Wolf Prize Recipients in Mathematics Wolf Prize Recipients in Mathematics
Wolf Prize Recipients in Mathematics- Citations for the prize-winners. ...
WWW VL: Addresses WWW VL: Addresses
WWW VL: Addresses- A list of collections of mathematicians' addresses, by subject or institution. Part of the Mathematics WWW Virtual Library. ...
Canadian Mathematical Society Membership Directory Canadian Mathematical Society Membership Directory
Canadian Mathematical Society Membership Directory- Listings by name, location, and fields of interest. Also includes search function. ...
Structure Theorists Structure Theorists
Structure Theorists- Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. ...
World Directory / Estonia World Directory / Estonia
World Directory / Estonia- The data submitted by the Estonian Mathematical Society to the World Directory of Mathematicians. ...
Oberwolfach Photo Collection Oberwolfach Photo Collection
Oberwolfach Photo Collection- Photographs of Mathematicians from all over the world. ...
Australian Mathematical Society Membership Directory Australian Mathematical Society Membership Directory
Australian Mathematical Society Membership Directory- The 2006 Edition of the Society's Administrative Directory. ...
Fields Medal Winners Fields Medal Winners
Fields Medal Winners- Awarded to mathematicians not over 40 years of age for outstanding discoveries in Mathematics. Links to the biographies. ...
Abel Prize Winners Abel Prize Winners
Abel Prize Winners- Awarded annually since 2003 to one or more outstanding mathematicians. Citations and links to biographies. ...
Samuel Eilenberg Samuel Eilenberg
Samuel Eilenberg- Biography, selected publications and external links. ...
Mecheri, Salah Mecheri, Salah
Mecheri, Salah- Professor at King Saud University in the department of Mathematics. Research interests in functional analysis, spectral theory and best approximations. Page includes math study tips, publications, and som ...
Otsubo, Noriyuki Otsubo, Noriyuki
Otsubo, Noriyuki- Research associate at the Chiba University in Japan, specializing in number theory and algebraic geometry. Includes curriculum vitae and publications. ...
Propp, James Propp, James
Propp, James- Combinatorics, game theory, probability theory and dynamical systems. ...
Peano, Guiseppe Peano, Guiseppe
Peano, Guiseppe- Biography of the mathematician and logician. From Interactive Real Analysis. ...
Next Einstein Next Einstein
Next Einstein- Project to support students at the African Institute for Mathematical Sciences. ...

Latest sites from Mathematics