Gábor Bodnár Algorithmic Tests for the Normal Crossing Property. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:1-20 [Conf]

XueFeng Chen, DingKang Wang The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:21-30 [Conf]

Xiao-Shan Gao, Qiang Lin MMP/Geometer - A Software Package for Automated Geometric Reasoning. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:44-66 [Conf]

Hans-Gert Gräbe The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:67-86 [Conf]

Irina Tchoupaeva Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:178-193 [Conf]

Dongming Wang GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:194-215 [Conf]

Lu Yang Distance Coordinates Used in Geometric Constraint Solving. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:216-229 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP