## 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

## Frontiers in Complex Dynamics: In Celebration of John Milnor's 80th Birthday

*Araceli Bonifant, Misha Lyubich, and Scott Sutherland*

- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691159294
- eISBN:
- 9781400851317
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691159294.001.0001
- Subject:
- Mathematics, Combinatorics / Graph Theory / Discrete Mathematics

John Milnor, best known for his work in differential topology, K-theory, and dynamical systems, is one of only three mathematicians to have won the Fields medal, the Abel prize, and the Wolf prize, ... 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

## The Gross-Zagier Formula on Shimura Curves

*Xinyi Yuan, Shou-wu Zhang, and Wei Zhang*

- Published in print:
- 2012
- Published Online:
- October 2017
- ISBN:
- 9780691155913
- eISBN:
- 9781400845644
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691155913.001.0001
- Subject:
- Mathematics, Number Theory

This comprehensive account of the Gross–Zagier formula on Shimura curves over totally real fields relates the heights of Heegner points on abelian varieties to the derivatives of L-series. The ... More