Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
tarafından
 
Botana, Francisco. editor.

Başlık
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Yazar
Botana, Francisco. editor.

ISBN
9783319213620

Basım Bilgisi
1st ed. 2015.

Fiziksel Tanımlama
IX, 181 p. 54 illus. online resource.

Seri
Lecture Notes in Artificial Intelligence, 9201

İçerik
Star Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.

Yazar Ek Girişi
Botana, Francisco.
 
Quaresma, Pedro.

Tüzel Kişi Ek Girişi
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-21362-0


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap519176-1001ONLINEElektronik Kütüphane