| Original language | English |
|---|---|
| Title of host publication | Automated deduction in geometry |
| Editors | F. Winkler |
| Place of Publication | Heidelberg |
| Publisher | Springer |
| Pages | 161-177 |
| Number of pages | 16 |
| Publication status | Published - 2004 |
Publication series
| Name | Lecture Notes in Artificial Intelligence (LNAI) |
|---|
Fields of science
- 101 Mathematics
- 101003 Applied geometry
- 101006 Differential geometry
- 101009 Geometry
- 102005 Computer aided design (CAD)