All sites of Mathematics

A New Deconstructive Logic: Linear Logic (1997) A New Deconstructive Logic: Linear Logic (1997)
A New Deconstructive Logic: Linear Logic (1997)- Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a mann ...
Relevance Logic and Concurrent Composition Relevance Logic and Concurrent Composition
Relevance Logic and Concurrent Composition- Disseratation by Mads Dan, investigating the general model theory of propositional relevance logic. ...
Relevance Logic Relevance Logic
Relevance Logic- Article in the Stanford Encyclopaedia of Philosophy, by Edwin Mares. ...
Aachen Aachen
Aachen- Mathematical Foundations of Computer Science. ...
Stockholm School of Economics Stockholm School of Economics
Stockholm School of Economics- Department of Law, Languages and Economic Statistics. ...
University of Leeds University of Leeds
University of Leeds- Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, ...
University of St. Andrews University of St. Andrews
University of St. Andrews- Department of Computer Science, Computational Logic group. Members, events, publications, collaborators. ...
University of Oxford University of Oxford
University of Oxford- Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange. ...
Primality Proving Primality Proving
Primality Proving- Covers different types of primality tests, such as quick, classical and general purpose prime filters. Page includes bibliography. ...
Manindra Agrawal Manindra Agrawal
Manindra Agrawal- Papers including "PRIMES is in P" by Agrawal, Kayal and Saxena (AKS). It presents a polynomial-time primality proving algorithm for any number. ...
MathPages: Symmetric Pseudoprimes MathPages: Symmetric Pseudoprimes
MathPages: Symmetric Pseudoprimes- A pseudoprime type based on symmetric functions. Basic propositions and computational techniques. ...
MathWorld: Pseudoprimes MathWorld: Pseudoprimes
MathWorld: Pseudoprimes- Articles about many types of pseudoprimes. ...
UQ/QAMT Problem Solving Competition UQ/QAMT Problem Solving Competition
UQ/QAMT Problem Solving Competition- Problem solving competition open to all Queensland secondary school students. ...
New Brunswick Math Competition New Brunswick Math Competition
New Brunswick Math Competition- Middle school contests available to students in New Brunswick, with results and problem archive. ...
International Mathematical Talent Search International Mathematical Talent Search
International Mathematical Talent Search- Solutions and Comments. ...
Problem Page Problem Page
Problem Page- Archive of problem sets and solutions from Wisconsin Mathematics, Engineering and Science Talent Search. ...
Prof. W. Kahan's Notes and Problems Prof. W. Kahan's Notes and Problems
Prof. W. Kahan's Notes and Problems- Large archive of problems and solutions from Professor Kahan's Putnam Problems Practice Seminar. ...
Singapore International Mathematics Olympiad Singapore International Mathematics Olympiad
Singapore International Mathematics Olympiad- Training resources include problems and partial solutions. ...
Tournament of Towns at Toronto Tournament of Towns at Toronto
Tournament of Towns at Toronto- Contest problems and solutions for The International Mathematics Tournament of the Towns. ...
Union College Putnam Club Union College Putnam Club
Union College Putnam Club- Problem sets from weekly practice sessions. ...
Eidgenoessische Technische Hochschule Zürich Eidgenoessische Technische Hochschule Zürich
Eidgenoessische Technische Hochschule Zürich- Department of Mathematics: Statistics Seminar. ...
Problem Writing For Mathematics Competitions Problem Writing For Mathematics Competitions
Problem Writing For Mathematics Competitions- Mathematics problems for middle school and high school math competitions with topics range from algebra and geometry to probability and trigonometry. ...
A Collection of Math-Olympiad Problems A Collection of Math-Olympiad Problems
A Collection of Math-Olympiad Problems- Problem sets from international and national mathematics olympiads. ...
Mathnet : The Tower of Hanoi Mathnet : The Tower of Hanoi
Mathnet : The Tower of Hanoi- Graphical and text versions of this puzzle. Includes Background and solutions. ...
Tower of Hanoi Tower of Hanoi
Tower of Hanoi- Select the number of disks to choose different difficulty levels. Uses DHTML. ...
Archimedes' Approximation of Pi Archimedes' Approximation of Pi
Archimedes' Approximation of Pi- Describes the method introduced by Archimedes for approximating Pi. ...
One Billion Digits of Pi One Billion Digits of Pi
One Billion Digits of Pi- Ramanujan, modular equations, and approximations. ...
Bailey on Pi Bailey on Pi
Bailey on Pi- Briefly explains David Bailey's work with NASA's supercomputers and the development of a workable formula to evaluate Pi for any number of decimal places. ...
David Bailey's Pi Directory David Bailey's Pi Directory
David Bailey's Pi Directory- Articles, papers, programmes, tools, algorithms on the calculation of pi. ...
Fabrice Bellard's PI page Fabrice Bellard's PI page
Fabrice Bellard's PI page- Showcases digit extraction and FFT multiplication algorithms. ...
Search Pi to 40 Million Digits Search Pi to 40 Million Digits
Search Pi to 40 Million Digits- Find strings of digits in the first 50,000,000 digits of Pi. ...
Am I in Pi Am I in Pi
Am I in Pi- Determines where your birthday first occurs in PI. Checks the first 1,254,543 digits of PI. ...
Search within Pi Search within Pi
Search within Pi- Search in the first four billion binary digits of Pi for a string and links to further information about Pi. ...
Search for strings within Pi Search for strings within Pi
Search for strings within Pi- Searches for any string of digits (up to 120 of them) in the first 100 million digits of Pi. ...
Search for your Name in the Digits of Pi Search for your Name in the Digits of Pi
Search for your Name in the Digits of Pi- An Online-Form that searches for a given name or word in the Digits of Pi. ...
The 2 Club The 2 Club
The 2 Club- Club for people that can memorize more than 2 digits of Pi. ...
The 100-Club The 100-Club
The 100-Club- Club for people who can memorize 100 or more digits of Pi. ...
École Polytechnique Federale de Lausanne (EPFL) École Polytechnique Federale de Lausanne (EPFL)
École Polytechnique Federale de Lausanne (EPFL)- Chairs of Statistics. ...
Ramanujan, Modular Equations, and Approximations to Pi or How to compute One Billion Digits of Pi Ramanujan, Modular Equations, and Approximations to Pi or How to compute One Billion Digits of Pi
Ramanujan, Modular Equations, and Approximations to Pi or How to compute One Billion Digits of Pi- Explains and compares several formulas for evaluating this large number of numerical places for pi. Includes complete lis ...
Bailey and Crandall's article on the random character of constants. Bailey and Crandall's article on the random character of constants.
Bailey and Crandall's article on the random character of constants.- An article on the random character of the fundamental constants such as pi, e and square-root of 2, by David Bailey and Richard Crandall (Experimental ...
Is Pi normal? Is Pi normal?
Is Pi normal?- An article by Stan Wagon about the idea of normality, first introduced by E. Borel in 1909, is an attempt to formalize the notion of a real number being random. ...
Beauty Beauty
Beauty- A sort of poem with the digits of Pi, spelled out with the words in many different languages. ...
Billion Digit Pi Billion Digit Pi
Billion Digit Pi- Billion digits of Pi for download. Search for birthday dates in Pi. Introduction to maths related to Pi. Simple description of how Pi is calculated. ...
Pi Poetry & Piaku Pi Poetry & Piaku
Pi Poetry & Piaku- Poetry respective to the digits of Pi. A message board is provided for users to create their own pi-phrases. Furthermore an introduction to "Piaku" is given. ...
University of Copenhagen University of Copenhagen
University of Copenhagen- Department of Statistics and Operations Research. ...
University of Copenhagen University of Copenhagen
University of Copenhagen- Department of Biostatistics. ...
Technical University of Denmark Technical University of Denmark
Technical University of Denmark- Department of Informatics and Mathematical Modelling. Danish and English. ...
University of Tampere University of Tampere
University of Tampere- Statistics department. ...
University of Helsinki University of Helsinki
University of Helsinki- Department of Mathematics and Statistics. ...
University of Jyvaskyla University of Jyvaskyla
University of Jyvaskyla- Department of Mathematics and Statistics. ...

Latest sites from Mathematics