All sites of Mathematics

A Curry-Howard Foundation for Functional Computation with Control (1997) A Curry-Howard Foundation for Functional Computation with Control (1997)
A Curry-Howard Foundation for Functional Computation with Control (1997)- Article by C.-H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a fou ...
Completeness Results for Linear Logic on Petri Nets (1993) Completeness Results for Linear Logic on Petri Nets (1993)
Completeness Results for Linear Logic on Petri Nets (1993)- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete. ...
A Non Functional Calculus: Linear Logic and Concurrency (2000) A Non Functional Calculus: Linear Logic and Concurrency (2000)
A Non Functional Calculus: Linear Logic and Concurrency (2000)- (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract ...
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998) The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)- (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal advantages. ...
Honsell, Furio Honsell, Furio
Honsell, Furio- University of Udine, Italy. ...
Ong, Luke Ong, Luke
Ong, Luke- Oxford University Computing Laboratory, UK. ...
Pitts, Andrew Pitts, Andrew
Pitts, Andrew- University of Cambridge, UK. ...
Japaridze, Giorgi Japaridze, Giorgi
Japaridze, Giorgi- Villanova University, USA. ...
Primo Primo
Primo- Elliptic Curve Primality Proving program which has set monoprocessor ECPP records. Windows freeware by Marcel Martin. ...
Yahoo Groups: Primeform Yahoo Groups: Primeform
Yahoo Groups: Primeform- Discussion group for PrimeFormGW and prime numbers. Program can trial factor and probable prime test any number, and prove many forms. Free Windows and Linux downloads after joining group. ...
ECPP ECPP
ECPP- An Elliptic Curve Primality Proving program by François Morain. Author has later implemented fastECPP which is not publicly available. ...
Jean Penné's LLR Jean Penné's LLR
Jean Penné's LLR- Proves k*2^n-1 with the Lucas-Lehmer-Riesel algorithm and k*2^n+1 with Proth's theorem. Free Windows and Linux download. ...
Paul Jobling's NewPGen Paul Jobling's NewPGen
Paul Jobling's NewPGen- Sieving program for various listed forms involving a power or primorial. Page has introduction and free downloads for Windows or Linux. ...
Yves Gallot's Proth.exe Yves Gallot's Proth.exe
Yves Gallot's Proth.exe- Program to prove large primes on the form k*2^n+/-1. Page has introduction and free Windows download. ...
The University of Alabama High School Math Tournament The University of Alabama High School Math Tournament
The University of Alabama High School Math Tournament- Math Tournament hosted by the University of Alabama Mathematics Department each fall for excellent high school students from all over Alabama and throughout the sout ...
Rocket City Math League Rocket City Math League
Rocket City Math League- Based in Huntsville, Alabama. Website contains registration information and sample tests. ...
Bay Area Math Circle Bay Area Math Circle
Bay Area Math Circle- Features The Bay Area Mathematical Olympiad (BAMO) and weekly program for San Francisco Bay Area high and middle school students. ...
Stanford Math Tournament Stanford Math Tournament
Stanford Math Tournament- Annual math event sponsored by the Stanford Mathematics Department. Site contains results, past tests and solutions. ...
Armstrong Atlantic State University Math Tournament Armstrong Atlantic State University Math Tournament
Armstrong Atlantic State University Math Tournament- Features annual mathematics tournament for high school students and middle school Math Bowl. ...
Illinois Council of Teachers of Mathematics State Math Contest Illinois Council of Teachers of Mathematics State Math Contest
Illinois Council of Teachers of Mathematics State Math Contest- The Illinois Council of Teachers of Mathematics sponsors competitive mathematics events for high school students and in-school contest for grade school stud ...
Indiana State Mathematics Contest Indiana State Mathematics Contest
Indiana State Mathematics Contest- Annual contest sponsored by the Indiana Council of Teachers of Mathematics. Five testing categories include Pre-Algebra, Algebra, Geometry, Algebra II, and Comprehensive. ...
Rose-Hulman High-school Mathematics Contest Rose-Hulman High-school Mathematics Contest
Rose-Hulman High-school Mathematics Contest- Annual contest hosted by the Rose-Hulman Institute of Technology. ...
Louisiana State University Mathematics Contest Louisiana State University Mathematics Contest
Louisiana State University Mathematics Contest- Includes contest information, results, photo gallery, as well as problems and solutions from previous contests. ...
University of Maryland Math Competition University of Maryland Math Competition
University of Maryland Math Competition- Open to all high school students in Maryland and the District of Columbia, with past results, problems and solutions. ...
Math Masters of Minnesota Math Masters of Minnesota
Math Masters of Minnesota- A team state competition for 5th and 6th graders in Minnesota. ...
SCSU Math Contest SCSU Math Contest
SCSU Math Contest- Annual event hosted by the St. Cloud State departments of mathematics, statistics, and computer science for students in grades 7-12. ...
Minnesota MathCounts Minnesota MathCounts
Minnesota MathCounts- Math coaching and competition program for middle school students. Offers information on state contest and coaching materials for schools throughout Minnesota. ...
Minnesota State High School Mathematics League Minnesota State High School Mathematics League
Minnesota State High School Mathematics League- The official website of the Minnesota High School Math League. ...
Great Plains Math League Great Plains Math League
Great Plains Math League- Sponsors several high school math contests in Missouri, Iowa and Kansas. ...
Junior High Excellence in Mathematics Contest Junior High Excellence in Mathematics Contest
Junior High Excellence in Mathematics Contest- Details of the competitions held at St. Louis Community College. Background information, registration details, and copies of previous year's tests. ...
New Jersey Math Counts New Jersey Math Counts
New Jersey Math Counts- Math coaching and competition program for middle school students. Offers information on state contest. ...
Rice Mathematics Tournament Rice Mathematics Tournament
Rice Mathematics Tournament- Contest for high school students from the Texas/Louisiana area. Contain Rules, results, and sample problems. ...
Wisconsin Mathematics, Engineering and Science Talent Search Wisconsin Mathematics, Engineering and Science Talent Search
Wisconsin Mathematics, Engineering and Science Talent Search- Open to high school and middle school students in the state of Wisconsin and throughout the world. Contest involves solving five sets of five problems distrib ...
Pi at Multiple Dimension Pi at Multiple Dimension
Pi at Multiple Dimension- Online Php program that lets you verify that pi is same in 2d 3d and 4d. ...
The Hfloat Page The Hfloat Page
The Hfloat Page- Algorithms and software for calculating pi and e. ...
SourceForge.net: Project Filelist SourceForge.net: Project Filelist
SourceForge.net: Project Filelist- List of downloadable source code of open source programs to compute Pi. ...
efg's Computer Lab: Buffon's Needles Lab Report efg's Computer Lab: Buffon's Needles Lab Report
efg's Computer Lab: Buffon's Needles Lab Report- A project describing how to estimate the value of pi using Buffon's Needles. Includes math description and complete Delphi source code. ...
Armpi 4 for the ARM processors Armpi 4 for the ARM processors
Armpi 4 for the ARM processors- Armpi 4 is a program that calculates pi in decimal for the ARM processors (in particular for the Acorn Risc PC). ...
Austin's Wasted Cycles Austin's Wasted Cycles
Austin's Wasted Cycles- Austin's Wasted Cycles is a CGI which computers either pi or factorials over the web. ...
Archimedes And The Computation Of Pi Archimedes And The Computation Of Pi
Archimedes And The Computation Of Pi- Java applets illustrating Archimedes' construction graphically and interactively. ...
CGIwithR CGIwithR
CGIwithR- Package to use R as CGI script language. Uses: online calculators, with R as compute engine; processing web forms generally, with R as alternative to more common script languages, e.g., Perl. ...
R-php R-php
R-php- Coded in PHP and MySQL, to run requires: PHP, MySQL, Apache, ImageMagick, Netpbm. Downloads. ...
R_PHP_Online R_PHP_Online
R_PHP_Online- PHP CGI web interface to run R programs online, with graphic output. Runs on Unix, Windows, with Web server. Not a PHP extension. Descriptions, documents, downloads. [Open Source, GPL] ...

Latest sites from Mathematics