author = {Dongming Wang},
title = {{Geometry Theorem Proving with Existing Technology}},
number = {93-40},
year = {1993},
note = {Published in Medlar II 12-month deliverables, Leeds, England, July 1993},
sponsor = { Esprit Basic Research Actions 3125 project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}