Number Theory
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.
Active Elementary Number Theory
Interactive (Javascript) expression of a number as a sum of two squares.
Application of Digital Root
A test for the terms of a sequence being expressed by a polynomial, by Roupam Ghosh.
Covers, Sumsets and Zero-sums
A unified approach to covering systems, restricted sumsets and zero-sum problems by Zhi-Wei Sun.
Fermat's Little Theorem
With notes on Carmichael numbers and the life of R.D. Carmichael.
Hakmem Continued Fractions
Some notes from the MIT collection. Includes Gosper's algorithms for CF arithmetic.
Infinite Series Theorem
Addresses the question whether a series of rational functions converges to a rational number.
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.
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).
Klein Polyhedra
Examples and algorithms for computing Klein polyhedra, also known as Arnold sails or veils (voiles), by Keith Briggs.
L-Functions
Classified by degree, then by level, then by eigenvalue, then by root number.
Lehmer's Conjecture
That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael Mossinghoff, UCLA.
Linear Independence Measures for Logarithms of Algebraic Numbers
Michel Waldschmidt. Cetraro summer school lectures, July 2000.
MathPages: Number Theory
Kevin Brown's collection of sci.math postings related to number theory topics.
MathWorld Number Theory
Index to articles in Eric Weisstein's MathWorld in the area of number theory.
Noncommutative Geometry, Trace Formulae and the Zeroes of the Riemann Zeta Function
Lecture notes by Alain Connes.
Number Theory
Proofs along with equation solvers and graphical views written in Java.
Number Theory Foundation
Aims to collect donations from supporters of number theory and to disburse these donations to encourage research.
Showing 20–20 of 38 results