zbMATH — the first resource for mathematics

Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. (English) Zbl 1316.68005
Lecture Notes in Computer Science 9201. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-21361-3/pbk; 978-3-319-21362-0/ebook). ix, 181 p. (2015).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1272.68023].
Indexed articles:
Alam, Md. Ashraful; Streinu, Ileana, Star-unfolding polygons, 1-20 [Zbl 1437.51014]
Borcea, Ciprian S.; Streinu, Ileana, Volume frameworks and deformation varieties, 21-36 [Zbl 1437.52015]
Davenport, James H.; England, Matthew, Recent advances in real geometric reasoning, 37-52 [Zbl 1434.68701]
Kovács, Zoltán, The relation tool in GeoGebra 5, 53-71 [Zbl 1434.97015]
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal, Computer theorem proving for verifiable solving of geometric construction problems, 72-93 [Zbl 1434.03032]
Moritsugu, Shuichi, Integrated circumradius and area formulae for cyclic pentagons and hexagons, 94-107 [Zbl 1437.51019]
Pech, Pavel, Extension of Simson-Wallace theorem on skew quadrilaterals and further properties, 108-118 [Zbl 1437.51017]
Quaresma, Pedro; Baeta, Nuno, Current status of the I2GATP common format, 119-128 [Zbl 1434.68643]
Sitharam, Meera; Willoughby, Joel, On flattenability of graphs, 129-148 [Zbl 1439.05166]
Song, Dan; Wang, Dongming; Chen, Xiaoyu, Discovering geometric theorems from scanned and photographed images of diagrams, 149-165 [Zbl 1434.68645]
Wang, Menghan; Sitharam, Meera, Combinatorial rigidity and independence of generalized pinned subspace-incidence constraint systems, 166-180 [Zbl 1439.05172]
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI