×

Found 15 Documents (Results 1–15)

Towards an electronic geometry textbook. (English) Zbl 1195.68091

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 1-23 (2007).
MSC:  68T15 51-01 51-04 68U05
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field