- A Mechanical Proof of Quadratic Reciprocity
A paper by David M. Russinoff describing the use of the Boyer-Moore theorem prover in mechanically generating a proof of the Law of Quadratic Reciprocity. PS/PDF.
http://www.onr.com/user/russ/david/gauss.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Active Elementary Number Theory
Interactive (Javascript) expression of a number as a sum of two squares.
http://www.faust.fr.bw.schule.de/mhb/taupaeng.htm
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Application of Digital Root
A test for the terms of a sequence being expressed by a polynomial, by Roupam Ghosh.
http://www.geocities.com/bappan420/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Covers, Sumsets and Zero-sums
A unified approach to covering systems, restricted sumsets and zero-sum problems by Zhi-Wei Sun.
http://pweb.nju.edu.cn/zwsun/csz.htm
(Added: Sat Apr 01 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Fermat's Little Theorem
With notes on Carmichael numbers and the life of R.D. Carmichael.
http://www.pballew.net/FermLit.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Frequently Asked Questions
Number Theory section of the sci.math FAQ list.
http://db.uwaterloo.ca/~alopez-o/math-faq/node21.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Hakmem Continued Fractions
Some notes from the MIT collection. Includes Gosper's algorithms for CF arithmetic.
http://www.inwap.com/pdp10/hbaker/hakmem/cf.html
(Added: Fri Mar 31 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Infinite Series Theorem
Addresses the question whether a series of rational functions converges to a rational number.
http://www.infiniteseriestheorem.org/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Integer Relations
To determine linear integer dependence among numerical constants and to determine the minimal polynomial of an approximate algebraic number. Interactive or via email.
http://oldweb.cecm.sfu.ca/~aszanto/IntegerRelations/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Introduction to Bernoulli Numbers
A web article with a brief history and account of their relationship with the Riemann zeta function and Fermat's Last Theorem (HTML/PS).
http://numbers.computation.free.fr/Constants/Miscellaneous/bernoulli.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Klein Polyhedra
Examples and algorithms for computing Klein polyhedra, also known as Arnold sails or veils (voiles), by Keith Briggs.
http://members.lycos.co.uk/keithmbriggs/klein-polyhedra.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- L-Functions
Classified by degree, then by level, then by eigenvalue, then by root number.
http://www.math.okstate.edu/~loriw/start/start.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Lehmer's Conjecture
That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael Mossinghoff, UCLA.
http://www.cecm.sfu.ca/~mjm/Lehmer/lc.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Linear Independence Measures for Logarithms of Algebraic Numbers
Michel Waldschmidt. Cetraro summer school lectures, July 2000.
http://www.mathp6.jussieu.fr/~miw/articles/cetraro.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- MathPages: Number Theory
Kevin Brown's collection of sci.math postings related to number theory topics.
http://www.mathpages.com/home/inumber.htm
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- MathWorld Number Theory
Index to articles in Eric Weisstein's MathWorld in the area of number theory.
http://mathworld.wolfram.com/topics/NumberTheory.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Noncommutative Geometry, Trace Formulae and the Zeroes of the Riemann Zeta Function
Lecture notes by Alain Connes.
http://www.math.ohio-state.edu/lectures/connes/Connes_course.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Number Theory
Dave Rusin's guide to number theory.
http://www.math.niu.edu/~rusin/known-math/index/11-XX.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Number Theory
Proofs along with equation solvers and graphical views written in Java.
http://www.alpertron.com.ar/NUMBERT.HTM
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Number Theory Foundation
Aims to collect donations from supporters of number theory and to disburse these donations to encourage research.
http://www.math.uiuc.edu/ntf/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Number Theory Glossary
Compiled by Robert Campbell.
http://www.math.umbc.edu/~campbell/NumbThy/Class/Glossary.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Number Theory Web
Things of interest to number theorists collected by Keith Matthews.
http://www.numbertheory.org/ntw/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- On-Line Encyclopedia of Integer Sequences
Given an integer sequence, find its name, and formula.
http://www.research.att.com/~njas/sequences/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Online Seminar: Galois theory of p-Extensions
Email seminar on "Galoissche Theorie der p-Erweiterungen" by Helmut Koch.
http://public.csusm.edu/public/fhajir/kochbook.html
(Added: Fri Mar 31 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Other Maths
A wide selection of number theory topics compiled by Jon Perry.
http://www.users.globalnet.co.uk/~perry/maths/othermaths.htm
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
