ADG

Keyphrases

Publications

2023

Philip H. Todd, Danny Aley
Using GXWeb for Theorem Proving and Mathematical Modelling. ADG (2023)

2021

Christopher W. Brown, Zoltán Kovács, Róbert Vajda
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. ADG (2021)

volume 9201, 2015

Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers ADG 9201 (2015)

2014

Vesna Marinkovic, Predrag Janicic, Pascal Schreck
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ADG (2014)
James H. Davenport, Matthew England
Recent Advances in Real Geometric Reasoning. ADG (2014)
Pavel Pech
Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties. ADG (2014)
Pedro Quaresma, Nuno Baeta
Current Status of the I2GATP Common Format. ADG (2014)
Md. Ashraful Alam, Ileana Streinu
Star-Unfolding Polygons. ADG (2014)
Shuichi Moritsugu
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons. ADG (2014)
Zoltán Kovács
The Relation Tool in GeoGebra 5. ADG (2014)
Ciprian S. Borcea, Ileana Streinu
Volume Frameworks and Deformation Varieties. ADG (2014)
Meera Sitharam, Joel Willoughby
On Flattenability of Graphs. ADG (2014)
Dan Song, Dongming Wang, Xiaoyu Chen
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. ADG (2014)
Menghan Wang, Meera Sitharam
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. ADG (2014)