THE appearance of a school edition of “Euclid's Elements,” published under the auspices of the Cambridge University Press, provokes reflections upon the strange position so long maintained in ...

making it a generalization of Euclidean spaces. Proof Mining: A technique in mathematical logic that aims to extract explicit computational content from non-constructive proofs. This Nature ...