Science

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.

A brief popular article with an applet generating solutions.

MathWorld article and resources.

Lawrence Berkeley National Laboratory. Experimental mathematics and scientific computing. Research papers, photos, and links.

Williams College. Number theory. Publications, lectures, books, and related links.

University of Maine. Analysis and number theory. Talks, publications and teaching.

University of Pisa. Algebraic number theory: ideal class groups for cyclotomic fields, and K-theory of the rings of integers of an abelian number field.