1. ADG 1996: Toulouse, France

Dongming Wang (Ed.): Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Lecture Notes in Computer Science 1360 Springer 1997, ISBN 3-540-64297-8 BibTeX

@proceedings{DBLP:conf/adg/1996,
  editor    = {Dongming Wang},
  title     = {Automated Deduction in Geometry, International Workshop on Automated
               Deduction in Geometry, Toulouse, France, September  27-29, 1996,
               Selected Papers},
  booktitle = {Automated Deduction in Geometry},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1360},
  year      = {1997},
  isbn      = {3-540-64297-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Deepak Kapur: Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets. 1-36 BibTeX
Quoc-Nam Tran: Extended Dixon's Resultant and Its Applications. 37-57 BibTeX
Thomas Sturm, Volker Weispfenning: Computational Geometry Problems in REDLOG. 58-86 BibTeX
Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro: Probabilistic Verification of Elementary Geometry Statements. 87-101 BibTeX
Timothy F. Havel: Computational Synthetic Geometry with Clifford Algebra. 102-114 BibTeX
Dongming Wang: Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. 115-140 BibTeX
Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. 141-170 BibTeX
Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang: Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. 171-188 BibTeX
Erik Hillgarter, Franz Winkler: Points on Algebraic Curves and the Parametrization Problem. 189-207 BibTeX
He Shi, Fengmei Zou: Flat Central Configurations of Four Planet Motions. 208-217 BibTeX
Stéphane Fèvre: Integration of Reasoning and Algebraic Calculus in Geometry. 218-234 BibTeX