## From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

*Laura Crosilla and Peter Schuster (eds)*

- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198566519
- eISBN:
- 9780191713927
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198566519.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

Constructive mathematics is a vital area of research which has gained special attention in recent years due to the distinctive presence of computational content in its theorems. This characteristic ... More

## Function Spaces and Partial Differential Equations: Volume 1 - Classical Analysis

*Ali Taheri*

- Published in print:
- 2015
- Published Online:
- September 2015
- ISBN:
- 9780198733133
- eISBN:
- 9780191797712
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198733133.001.0001
- Subject:
- Mathematics, Analysis

This book, which is the first volume of two, presents a comprehensive treatment of aspects of classical and modern analysis relating to theory of ‘partial differential equations’ and the associated ... More

## Function Spaces and Partial Differential Equations: Volume 2: Contemporary Analysis

*Ali Taheri*

- Published in print:
- 2015
- Published Online:
- September 2015
- ISBN:
- 9780198733157
- eISBN:
- 9780191797729
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198733157.001.0001
- Subject:
- Mathematics, Analysis

This book presents a comprehensive treatment of aspects of classical and modern analysis relating to theory of ‘partial differential equations’ and the associated ‘function spaces’. It begins with a ... More

## Gamma-Convergence for Beginners

*Andrea Braides*

- Published in print:
- 2002
- Published Online:
- September 2007
- ISBN:
- 9780198507840
- eISBN:
- 9780191709890
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198507840.001.0001
- Subject:
- Mathematics, Applied Mathematics

This book introduces the main concepts of the theory of De Giorgi's Gamma-convergence and gives a description of its main applications to the study of asymptotic variational problems. The content is ... More

## General Relativity and the Einstein Equations

*Yvonne Choquet-Bruhat*

- Published in print:
- 2008
- Published Online:
- May 2009
- ISBN:
- 9780199230723
- eISBN:
- 9780191710872
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230723.001.0001
- Subject:
- Mathematics, Applied Mathematics

General Relativity has passed all experimental and observational tests to model the motion of isolated bodies with strong gravitational fields, though the mathematical and numerical study of these ... More

## Gödel's Disjunction: The scope and limits of mathematical knowledge

*Leon Horsten and Philip Welch (eds)*

- Published in print:
- 2016
- Published Online:
- November 2016
- ISBN:
- 9780198759591
- eISBN:
- 9780191820373
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198759591.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a ... More

## Graphs and Homomorphisms

*Pavol Hell and Jaroslav Nesetril*

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198528173
- eISBN:
- 9780191713644
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198528173.001.0001
- Subject:
- Mathematics, Combinatorics / Graph Theory / Discrete Mathematics

Graph theory is now an established discipline but the study of graph homomorphisms has only recently begun to gain wide acceptance and interest. This text is devoted entirely to the subject, bringing ... More

## The Greate Invention of Algebra: Thomas Harriot's Treatise on equations

*Jacqueline A. Stedall*

- Published in print:
- 2003
- Published Online:
- September 2007
- ISBN:
- 9780198526025
- eISBN:
- 9780191712364
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198526025.001.0001
- Subject:
- Mathematics, History of Mathematics

This book casts new light on the work of Thomas Harriot (c.1560-1621), an innovative thinker and practitioner in several branches of the mathematical sciences, including navigation, astronomy, ... More

## Harmonic Morphisms Between Riemannian Manifolds

*Paul Baird and John C. Wood*

- Published in print:
- 2003
- Published Online:
- September 2007
- ISBN:
- 9780198503620
- eISBN:
- 9780191708435
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198503620.001.0001
- Subject:
- Mathematics, Pure Mathematics

Harmonic morphisms are maps which preserve Laplace's equation. More explicitly, a map between Riemannian manifolds is called a harmonic morphism if its composition with any locally defined harmonic ... More

## Here Be Dragons: Science, Technology and the Future of Humanity

*Olle Häggström*

- Published in print:
- 2016
- Published Online:
- January 2016
- ISBN:
- 9780198723547
- eISBN:
- 9780191790331
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198723547.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book challenges the widely held but oversimplified and even dangerous conception that progress in science and technology is our salvation, and the more of it, the better. The future will offer ... More