| Directory > Science > Math > 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.
http://www.onr.com/user/russ/david/gauss.html
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Number Theory
Proofs along with equation solvers and graphical views written in Java.
http://www.alpertron.com.ar/NUMBERT.HTM
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
Number Theory Web
Things of interest to number theorists collected by Keith Matthews.
http://www.numbertheory.org/ntw/
Reviews Rating: Not yet Rated
Whois Check
Infinite Series Theorem
Addresses the question whether a series of rational functions converges to a rational number.
http://www.infiniteseriestheorem.org/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
World Records for Numerical Palindromes
The 196 Palindrome Quest and The Most Delayed Palindromic Number, by Jason Doucette.
http://www.jasondoucette.com/worldrecords.html
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
About Two Months of Computing
Work on the 196 palindrome problem by Tim Irvin.
http://www.fourmilab.ch/documents/threeyears/two_months_more.html
Reviews Rating: Not yet Rated
Whois Check
MathWorld Number Theory
Index to articles in Eric Weisstein's MathWorld in the area of number theory.
http://mathworld.wolfram.com/topics/NumberTheory.html
Reviews Rating: Not yet Rated
Whois Check
MathPages: Number Theory
Kevin Brown's collection of sci.math postings related to number theory topics.
http://www.mathpages.com/home/inumber.htm
Reviews Rating: Not yet Rated
Whois Check
Fermat's Little Theorem
With notes on Carmichael numbers and the life of R.D. Carmichael.
http://www.geocities.com/Paris/Rue/1861/FermLit.html
Reviews Rating: Not yet Rated
Whois Check
Wolstenholme's Theorem, Stirling Numbers, and Binomial Coefficients
A web paper by Ronald Bruck.
http://mathlab.usc.edu/~bruck/research/stirling/
Reviews Rating: Not yet Rated
Whois Check
Introduction to p-Adic Analytic Number Theory
Notes of a short course at the Mehta Research Institute by M. Ram Murty.
http://www.mri.ernet.in/~mathweb/lecture/murty-padic00/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
NumbersWithNames
A program for exploring and making conjectures about interesting sequences using data from the
Encylopedia of Integer Sequences.
http://www.machine-creativity.com/programs/nwn/
Reviews Rating: Not yet Rated
Whois Check
2^n Modulo n
Joe Crump's results on values of n with prescribed values of 2^n modulo n.
http://www.spacefire.com/numbertheory/2nmodn.htm
Reviews Rating: Not yet Rated
Whois Check
The Canadian Number Theory Association
A loosely defined group of individuals, mainly in Canada, active in research in Number Theory.
http://members.rogers.com/superprof/cnta.html
Reviews Rating: Not yet Rated
Whois Check
SeqFan Mailing List
Devoted to the study of integer sequences.
http://www.ccr.jussieu.fr/gmpib/seqfan/
Reviews Rating: Not yet Rated
Whois Check
Somos Sequence Mailing List Archive
Maintained by Jim Propp.
http://www.math.wisc.edu/~propp/bilinear/archive
Reviews Rating: Not yet Rated
Whois Check
Summary of Euler's 96 Articles on Number Theory
Part of the Euler Project.
http://www.wcsu.ctstateu.edu/~sandifer/eulernotes/numthry.htm
Reviews Rating: Not yet Rated
Whois Check
Noncommutative Geometry, Trace Formulae and the Zeroes of the Riemann Zeta Function
Lecture notes by Alain Connes.
http://www.math.ohio-state.edu/connes/Connes_course.html
Reviews Rating: Not yet Rated
Whois Check
The Valuation Theory Home Page
A forum for all mathematicians who work in valuation theory or apply valuation theoretical results
in their own field of research.
http://math.usask.ca/fvk/Valth.html
Reviews Rating: Not yet Rated
Whois Check
L-Functions
Classified by degree, then by level, then by eigenvalue, then by root number.
http://www.math.okstate.edu/~loriw/start/start.html
Reviews Rating: Not yet Rated
Whois Check
Square-free Gaps
Algorithm and source code for the calculation of square-free numbers and gaps.
http://www.marmet.ca/louis/sqfgap/
Reviews Rating: Not yet Rated
Whois Check
Some Number-Theoretical Constants
Products of rational functions of p over primes, computed by Gerhard Niklasch and Pieter Moree.
http://www.gn-50uma.de/alula/essays/Moree/Moree.en.shtml
Reviews Rating: Not yet Rated
Whois Check
Somos Polynomials
Related to Somos sequences and elliptic theta functions.
http://grail.cba.csuohio.edu/~somos/somospol.html
Reviews Rating: Not yet Rated
Whois Check
Frequently Asked Questions
Number Theory section of the sci.math FAQ list.
http://www.cs.unb.ca/~alopez-o/math-faq/node21.html#SECTION00400000000000000000
Reviews Rating: Not yet Rated
Whois Check
Number Theory Glossary
Compiled by Robert Campbell.
http://www.math.umbc.edu/~campbell/NumbThy/Class/Glossary.html
Reviews Rating: Not yet Rated
Whois Check
Vignettes on Automorphic and Modular forms, Representations, L-functions, and Number Theory
By Paul Garrett.
http://www.math.umn.edu/~garrett/m/v/
Reviews Rating: Not yet Rated
Whois Check
The Work of Robert Langlands
Thesis, papers, manuscripts, letters and bibliography.
http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/intro.html
Reviews Rating: Not yet Rated
Whois Check
Lehmer's Conjecture
That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael
Mossinghoff, UCLA.
http://www.math.ucla.edu/~mjm/lc/lc.html
Reviews Rating: Not yet Rated
Whois Check
The Arithmetic Properties of Binomial Coefficients
Activated text by Andrew Granville.
http://www.cecm.sfu.ca/organics/papers/granville/index.html
Reviews Rating: Not yet Rated
Whois Check
numbertheory
Mailing list covering recreational and serious aspects. [Requires free Yahoo membership.]
http://groups.yahoo.com/group/numbertheory
Reviews Rating: Not yet Rated
Whois Check
The Somos Sequence Site
Web resources for information on Somos sequences and related topics such as elliptic divisibility
sequences.
http://www.math.wisc.edu/~propp/somos.html
Reviews Rating: Not yet Rated
Whois Check
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://www.cecm.sfu.ca/projects/IntegerRelations/
Reviews Rating: Not yet Rated
Whois Check
Visible Structures in Number Theory
By Peter Borwein and Loki Jörgenson. Recognising number patterns visually.
http://www.cecm.sfu.ca/~loki/Papers/Numbers/
Reviews Rating: Not yet Rated
Whois Check
Three Years of Computing
Palindrome Quest. Reporting computations on the 196 problem.
http://www.fourmilab.ch/documents/threeyears/threeyears.html
Reviews Rating: Not yet Rated
Whois Check
On-Line Encyclopedia of Integer Sequences
Given an integer sequence, find its name, and formula.
http://www.research.att.com/~njas/sequences/eisonline.html
Reviews Rating: Not yet Rated
Whois Check
Archives of Number Theory List
Archives of postings to the Number Theory mailing list (NMBRTHRY).
http://listserv.nodak.edu/archives/nmbrthry.html
Reviews Rating: Not yet Rated
Whois Check
Number Theory
Dave Rusin's guide to number theory.
http://www.math.niu.edu/~rusin/known-math/index/11-XX.html
Reviews Rating: Not yet Rated
Whois Check
|
