Login / Signup
ADG
2014
2017
2020
2023
2014
2023
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)