This article reviews some aspects in the current relationship between
mathematical and numerical General Relativity. Focus is placed on the
description of isolated systems, with a particular emphasis on recent
developments in the study of black holes. Ideas concerning asymptotic flatness,
the initial value problem, the constraint equations, evolution formalisms,
geometric inequalities and quasi-local black hole horizons are discussed on the
light of the interaction between numerical and mathematical relativists.Comment: Topical review commissioned by Classical and Quantum Gravity.
Discussion inspired by the workshop "From Geometry to Numerics" (Paris, 20-24
November, 2006), part of the "General Relativity Trimester" at the Institut
Henri Poincare (Fall 2006). Comments and references added. Typos corrected.
Submitted to Classical and Quantum Gravit