A study of the 1984 report An Automatic Proof Procedure For Several Geometries by Th. Bruyn and H.L. Claasen

This report is a discussion of the 1984 report 'An automatic proof procedure for several geometries' by Th. Bruyn and H.L. Claasen, inspired by a personal desire to understand the work of Th. Bruyn. See: http://resolver.tudelft.nl/uuid:b768c6ce-f625-4236-9b0b-32a47fab143e <br/>Bruyn and Claasen prove that certain true propositions of the theory...

The Anglo-Indian Bungalow: A Colonial Architecture of the British Raj and its Social Impact

The bungalow dwelling seen in many of the English speaking countries and British colonies originates in British colonial India, and is a hybrid of western and eastern architecture. This article answers the following research questions “What is the bungalow typology?” “What influence did the British architectural style have on the regional...