Die Focaleigenschaften der Flächen zweiter Ordnung, ein neues Capitel zu den Lehrbüchern der analytischen Geometrie des Raumes.

Available on demand as hard copy or computer file from Cornell University Library.

Die hauptsachlichsten theorien der geometrie in ihrer früheren und heutigen entwickelung. Historische monographie

Available on demand as hard copy or computer file from Cornell University Library.

Analytische geometrie der kubischen kegelschnitte,

Available on demand as hard copy or computer file from Cornell University Library.

Cyklographie, oder Construction der Aufgaben über Kreise und Kugeln und elementare Geometrie der Kries- und Kugel-Systeme.

Available on demand as hard copy or computer file from Cornell University Library.

Lehrbuch der darstellenden Geometrie.

Available on demand as hard copy or computer file from Cornell University Library.

Analytische geometrie des punktes, der geraden linie und der ebene. Ein handbuch zu den vorlesungen und übungen über analytische geometrie,

Available on demand as hard copy or computer file from Cornell University Library.

Vorlesungen über analytische geometrie des raumes, insbesondere über oberflächen zweiter ordnung,

Available on demand as hard copy or computer file from Cornell University Library.

Sammlung von Sätzen und Aufgaben zur systematischen und darstellenden Geometrie der Ebene in der Mittelschule.

Available on demand as hard copy or computer file from Cornell University Library.

Lehrbuch der analytischen geometrie in homogenen koordinaten.

Available on demand as hard copy or computer file from Cornell University Library.

Mehrdimensionale Geometrie,

Available on demand as hard copy or computer file from Cornell University Library.

Vorlesungen über ausgewählte Gegenstände der Geometrie.

Available on demand as hard copy or computer file from Cornell University Library.

Geschichte der darstellenden und projectiven Geometrie mit besonderer Berücksichtigung ihrer Begründung in Frankreich und Deutschland und ihrer wissenschaftlichen Pflege in Österreich ...

Available on demand as hard copy or computer file from Cornell University Library.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel [Band 1]

Die Jahrestagung der Gesellschaft für Didaktik der Mathematik fand im Jahr 2015 zum dritten Mal in der Schweiz statt. [...] Mit rund 300 Vorträgen, 16 moderierten Sektionen, 15 Arbeitskreistreffen und 21 Posterpräsentationen eröffnete sich ein breites Spektrum an Themen und unterschiedlichen Zugangsweisen zur Erforschung von Fragen rund um das Lernen und Lehren von Mathematik. (DIPF/Orig.)