Euclidean geometry of a modern formulation in terms of constructive type theory. This development has implications for pedagogy as well. Euclidean geometry Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the "Elements". Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The "Elements" begins with plane geometry, still taught in
Transmission of the Greek Classics referred as translating into Syriac the chief medical authorities as well as parts of Aristotle's "Organon". After studying at Baghdad under Yahya he visited Alexandria and returned, not only with the training given at what was then the first medical school, but with a good knowledge of Greek which he employed in making translations in Syriac and Arabic. Later the Caliph al-Mamun also sent emissaries to the Byzantines to gather Greek manuscripts for his new university, making it a center for Greek translation work in the Arab world. At first only practical works, such as those on medicine and technology