Math

A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download.

University of East Anglia, Norwich; 7--9 September 2000.

Tokyo, Japan, May 16-19, 2003. Photographs.

Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.

Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.

Saratoga Springs, NY, USA; 7--11 June 1999.

Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000.

The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.

Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001.

International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002.

6th Workshop on Logic, Language, Information and Computation. Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil; 25--28 May 1999. Abstracts.

Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.

A section of the SWIF map of logic on the WWW. Resources are in English and Italian.

List of publications and websites on axiomatic set theories.

Unofficial bibliography as part of Hypertext Bibliography Project.

Mathematical Logic Team. [Flags are language selectors]

Background, objectives, members and workshops.

Laboratory for Logic,Databases and Advanced Programming.

Biography of the mathematician with links to relevant terms and related links. From the MacTutor History of Mathematics Archive.

Biography of the mathematician with links to relevant terms and related links. From the MacTutor History of Mathematics Archive.

Biography of the mathematician from Eric Weisstein's World of Scientific Biography.

Biography of the mathematicia. From Women in Science.

Professor of Applied Mathematics, Princeton University Department of Mathematics. Wavelet theory, time frequency analysis, data compression, compactly supported wavelets.

Listing open problems and his mathematics books. Areas of interest are problem solving, combinatorics, and number theory.

Professor of mathematics at Concordia University in Montreal, Canada. Research specialties include quantum mechanics and spectral geometry. Page includes publications, teaching courses, and class notes.

Whitehead Institute/MIT Center for Genome Research. Computational biology. Coding theory database and links.

Student at Richard Stockton College.

Professor of Analysis, Differential Equations, Princeton University.

Professor, UCLA. Probability and Computations on Groups and Enumerative Combinatorics.

Mathematician at Wabash College. Research focus is on least-squares finite element methods.

Inventor of the Bell Helicopter, cosmologist, philosopher and author of The Reflexive Universe and The Geometry of Meaning, addresses issues in physics, mathematics, consciousness and evolution.

Professor, Department of Mathematics, Princeton University. Undergraduate Representative/Advisor. Topology: 4 Manifolds, Gauge Theory.

NOVA Online presents The Proof, including an interview with Andrew Wiles, an essay on Sophie Germain, and the Pythagorean theorem.

Article in Eric Weisstein's World of Mathematics.

For each curve (labelled as in Cremona) the mu and lambda-invariants are listed for the primes between 2 and 17. By Robert Pollack.

Workshop on recent developments. Far Hills Inn, near Montreal, Canada; 3--6 January 2002.

University of Illinois at Urbana-Champaign, USA; 21--22 May 2004.

Canadian Number Theory Association VIIIth meeting. Toronto, Ontario; 20--25 June 2004.

Strobl, Austria; 27 September -- 1 October 2004.

Prof. Carl Pomerance. University of British Columbia, Vancouver, BC, Canada; 21--23 March 2005.

Georg-August-Universität, Göttingen, Germany; 20--24 June 2005.

AIM Research Conference Center, Palo Alto, CA, USA; 15--19 August 2005.

International conference on Diophantine Equations in honour of Professor T.N. Shorey on his 60th Birthday. TIFR, Mumbai, India; 16--20 December 2005.

Held as part of FoCM'05. University of Cantabria, Santander, Spain; 7--9 July 2005.

XXIIIrd Journées Arithmétiques. Graz, Austria; 6--12 July 2003.

Algorithmic Number Theory Program, MSRI, 11-15 December 2000, Berkeley.

Banff International Research Station, Alberta, Canada; 15--19 May 2006.

Meets regularly in Massachusetts. Programme, some abstracts.

Maintained by Abderrahmane Nitaj.

Brief article offers a description of the problem and features links.