The Higher Infinite in Proof Theory∗† Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom 1

Source URL: www1.maths.leeds.ac.uk

W hen use of pseudo-maths adds upto fraud -FT. com Home fastFT

Source URL: www.carma.newcastle.edu.au

DISCRETE APPLIED MATHEMATICS ELSEYIER Discrete Applied

Source URL: www.maths.lse.ac.uk

• Graph theory
• Mathematics
• NP-complete problems
• NP-hard problems
• Graph coloring
• Routing algorithms
• Search algorithms
• Hamiltonian path
• Bipartite graph
• Travelling salesman problem
• A* search algorithm
• Planar separator theorem

PDF Document

Source URL: www.maths.dur.ac.uk

On the regular extension axiom and its variants Michael Rathjen∗†and Robert S. Lubarsky‡ Abstract The regular extension axiom, REA, was first considered by Peter Aczel in the context of Constructive Zermelo-Fraenke

Source URL: www1.maths.leeds.ac.uk

Introduction to Ordinary Differential Equations Reacall that a differential equation is an equation which involves an unknown function as well as some of its derivatives. If the function has only one variable, the differ

Source URL: www.maths.dit.ie

Climatic Change:337–354 DOIs10584z Indigenous Australians’ knowledge of weather and climate Donna Green · Jack Billy · Alo Tapim

Source URL: web.maths.unsw.edu.au

Generalized Inductive Definitions in Constructive Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

Source URL: www1.maths.leeds.ac.uk

London Mathematical Society – EPSRC Durham Symposium Mathematics of Data Assimilation Monday 1st August – Thursday 11th August 2011 All talks will take place in room CLC203 Ken Wade Lecture Theatre, Calman Learning C

Source URL: www.maths.dur.ac.uk

• Statistics
• Statistical theory
• Control theory
• Linear filters
• Telecommunications engineering
• Estimation theory
• Bayesian statistics
• Crops
• Data assimilation
• Kalman filter
• Dynamical system
• Coffee

S248/201C D UBLIN I NSTITUTE OF T ECHNOLOGY S CHOOL OF M ATHEMATICAL S CIENCES MATH 3824 N UMERICAL M ETHODS 2

Source URL: www.maths.dit.ie