Mathematics

Fabrice Bellard's PI page Fabrice Bellard's PI page- Showcases digit extraction and FFT multiplication algorithms. David Bailey's Pi Directory David Bailey's Pi Directory- Articles, papers, programmes, tools, algorithms on the calculation of 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. One Billion Digits of Pi One Billion Digits of Pi- Ramanujan, modular equations, and approximations. Archimedes' Approximation of Pi Archimedes' Approximation of Pi- Describes the method introduced by Archimedes for approximating Pi. Tower of Hanoi Tower of Hanoi- Select the number of disks to choose different difficulty levels. Uses DHTML. Mathnet : The Tower of Hanoi Mathnet : The Tower of Hanoi- Graphical and text versions of this puzzle. Includes Background and solutions. A Collection of Math-Olympiad Problems A Collection of Math-Olympiad Problems- Problem sets from international and national mathematics olympiads. 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 a… Union College Putnam Club Union College Putnam Club- Problem sets from weekly practice sessions. Tournament of Towns at Toronto Tournament of Towns at Toronto- Contest problems and solutions for The International Mathematics Tournament of the Towns. Singapore International Mathematics Olympiad Singapore International Mathematics Olympiad- Training resources include problems and partial solutions. 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. Problem Page Problem Page- Archive of problem sets and solutions from Wisconsin Mathematics, Engineering and Science Talent Search. International Mathematical Talent Search International Mathematical Talent Search- Solutions and Comments. New Brunswick Math Competition New Brunswick Math Competition- Middle school contests available to students in New Brunswick, with results and problem archive. UQ/QAMT Problem Solving Competition UQ/QAMT Problem Solving Competition- Problem solving competition open to all Queensland secondary school students. MathWorld: Pseudoprimes MathWorld: Pseudoprimes- Articles about many types of pseudoprimes. MathPages: Symmetric Pseudoprimes MathPages: Symmetric Pseudoprimes- A pseudoprime type based on symmetric functions. Basic propositions and computational techniques. 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. Primality Proving Primality Proving- Covers different types of primality tests, such as quick, classical and general purpose prime filters. Page includes bibliography. University of Oxford University of Oxford- Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange. University of St. Andrews University of St. Andrews- Department of Computer Science, Computational Logic group. Members, events, publications, collaborators. 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 a… Munich Munich- Mathematical Logic. Bonn Bonn- Mathematical Logic Group. Heidelberg Heidelberg- Mathematical Logic. Freiburg Freiburg- Institute for Mathematical Logic and Foundations of Mathematics. Aachen Aachen- Mathematical Foundations of Computer Science. Relevance Logic Relevance Logic- Article in the Stanford Encyclopaedia of Philosophy, by Edwin Mares. Relevance Logic and Concurrent Composition Relevance Logic and Concurrent Composition- Disseratation by Mads Dan, investigating the general model theory of propositional relevance logic. 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 embed… Bibliography on Linear Logic Bibliography on Linear Logic- A list of over 400 papers on linear logic. Many of the papers are downloadable. Linear Logic Papers by Andreas Blass Linear Logic Papers by Andreas Blass- Collection of downloadable papers on linear logic and game semantics by A. Blass. The Linear Logic Pages The Linear Logic Pages- An overview of the current knowledge in Linear Logic. Linear Logic Semantics Linear Logic Semantics- A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise. Phil Wadler's Linear Logic Publications Phil Wadler's Linear Logic Publications- Includes his tutorial paper "A taste of linear logic". Seminar on Linear Logic and Applications Seminar on Linear Logic and Applications- Organised by Frank Pfenning at Carnegie-Mellon. Game Semantics or Linear Logic? Game Semantics or Linear Logic?- A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive… Giorgi Japaridze's Publications Giorgi Japaridze's Publications- Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloa… Tolerance Tolerance- Definition of the concept of a tolerant sequence of theories. Cointerpretability Cointerpretability- Definition of the concept. Interpretability Logic Interpretability Logic- Open Encyclopedia article. Provability Logic Provability Logic- Open Encyclopedia article. Interpretability Interpretability- A definition of the concept. Interpretability Logic Interpretability Logic- Wikipedia article. Provability Logic Provability Logic- Wikipedia article. Guglielmi, Alessio Guglielmi, Alessio- Technical University of Dresden, Germany. Boolos, George Boolos, George- Massachusetts Institute of Technology, USA (Wikipedia article). Verbrugge, Rineke Verbrugge, Rineke- University of Groningen, the Netherlands.