Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25--27, 2000. Revised papers (Q5944307)

The articles of this volume will be reviewed individually. The preceding workshop (2nd, 1998) has been reviewed (see Zbl 0929.00067). Indexed articles: \textit{Hoffmann, Christoph M.; Yuan, Bo}, On spatial constraint solving approaches, 1-15 [Zbl 0985.68559] \textit{Gao, Xiao-Shan; Huang, Lei-Dong; Jiang, Kun}, A hybrid method for solving geometric constraint problems, 16-25 [Zbl 0985.68555] \textit{Rouillier, Fabrice; Safey El Din, Mohab; Schost, Éric}, Solving the Birkhoff interpolation problem via the critical point method: An experimental study, 26-40 [Zbl 0985.68079] \textit{Yang, Lu; Zhang, Ju}, A practical program of automated proving for a class of geometric inequalities, 41-57 [Zbl 0985.68556] \textit{Tulone, Daniela; Yap, Chee; Li, Chen}, Randomized zero testing of radical expressions and elementary geometry theorem proving, 58-82 [Zbl 0986.68123] \textit{Conti, Pasqualina; Traverso, Carlo}, Algebraic and semialgebraic proofs: Methods and paradoxes, 83-103 [Zbl 0985.68075] \textit{Bazzotti, Laura; Dalzotto, Giorgio; Robbiano, Lorenzo}, Remarks on geometric theorem proving, 104-128 [Zbl 0985.68056] \textit{Bulmer, Michael; Fearnley-Sander, Desmond; Stokes, Tim}, The kinds of truth of geometry theorems, 129-142 [Zbl 0985.68057] \textit{Stokes, Tim; Bulmer, Michael}, A complex change of variables for geometrical reasoning, 143-153 [Zbl 0985.68074] \textit{Aubry, Philippe; Wang, Dongming}, Reasoning about surfaces using differential zero and ideal decomposition, 154-174 [Zbl 0985.68077] \textit{Bokowski, Jürgen}, Effective methods in computational synthetic geometry, 175-192 [Zbl 0985.68076] \textit{Kortenkamp, Ulrich; Richter-Gebert, Jürgen}, Decision complexity in dynamic geometry, 193-198 [Zbl 0985.68558] \textit{Li, Hongbo; Wu, Yihong}, Automated theorem proving in incidence geometry -- a bracket algebra based elimination method, 199-227 [Zbl 0986.68124] \textit{Havel, Timothy F.}, Qubit logic, algebra and geometry, 228-245 [Zbl 0986.81020] \textit{Fleuriot, Jacques D.}, Nonstandard geometric proofs, 246-267 [Zbl 0986.68125] \textit{Caferra, Ricardo; Peltier, Nicolas; Puitg, François}, Emphasizing human techniques in automated geometry theorem proving: A practical realization, 268-305 [Zbl 0985.68058] \textit{Dehlinger, Christophe; Dufourd, Jean-François; Schreck, Pascal}, Higher-order intuitionistic formalization and proofs in Hilbert's elementary geometry, 306-323 [Zbl 0985.68078]