### Introduction

GeoDraw is a software package that has developed for drawing dynamic diagrams automatically from predicate specifications of given sets of geometric relations involving inequality constraints. It can be used to draw dynamic diagram of constructive type and to generate dynamic diagram of declarative type based on both symbolic and numeric computation. The process of dynamic diagram generation makes use of triangular decomposition in Maple, real quantifier elimination in QEPCAD with arsing, numerical computation, graphic drawing, and letter labeling in Java and is completely automated. The drawn diagrams may be animated and fine-tuned by mouse click and dragging with the given geometric relations maintained.