CCCG 2006, Kingston, Ontario, August 14–16, 2006 Computational Euclid M.H. van Emden We analyse the axioms of Euclidean geometry according

First Page		Document Content
Date: 2008-10-27 22:59:28 Elementary geometry Surfaces Euclidean geometry Axiom Plane Line Mathematical logic Space Synthetic geometry Geometry Mathematics Formal systems		CCCG 2006, Kingston, Ontario, August 14–16, 2006 Computational Euclid M.H. van Emden We analyse the axioms of Euclidean geometry according Add to Reading List Source URL: cccg.ca Download Document from Source Website File Size: 259,62 KB Share Document on Facebook

	E-LETTER Earth Planets Space, 58, e29–e32, 2006 FDM computation of seismic wavefield for an axisymmetric earth with a moment tensor point source DocID: 1gC2R - View Document
	doi: j00820.x Geophysical Prospecting, 2010, 58, 229–234 Feasibility of joint 1D velocity model and event location inversion by the Neighbourhood algorithm DocID: 1fW6J - View Document
	J Seismol:1–12 DOIs10950ORIGINAL ARTICLE Problematic non-double-couple mechanism of the 2002 DocID: 1fUGM - View Document
	Geophysical Journal International Geophys. J. Int, 522–538 Advance Access publication 2013 October 25 doi: gji/ggt386 DocID: 1fEdh - View Document
	Math. Appl), 61–91 DOI: maTHE BAKER-CAMPBELL-HAUSDORFF FORMULA AND THE ZASSENHAUS FORMULA IN SYNTHETIC DIFFERENTIAL GEOMETRY DocID: 1c5Oy - View Document