Almtract. For a parametric polynomial system: pl = o,... ,pr=o, dl #o,... , d8 # O where pi and di are in K[ul, . . ..um. zl,... , zn] and the u are parameters, we present a method for identifyingâ€¦ (More)

This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equations. We give completeâ€¦ (More)

We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We alsoâ€¦ (More)

This paper gives a brief introduction to the system Java Geometry Expert (JGEX). This system consists of three parts: the drawing part, the proving and reasoning part, and the most distinctive part â€“â€¦ (More)

We present a method which can produce traditional proofs for a class of geometry statements whose hypotheses can be described constructively and whose conclusions can be represented by polynomialâ€¦ (More)

Applicable Algebra in Engineering, Communicationâ€¦

1992

In this paper, by using the concept of resolvents of a prime ideal introduced by Ritt, we give methods for constructing a hypersurface which is birational to a given irreducible variety andâ€¦ (More)

We investigate the application of rewrite rules to proving theorems from elementary geometry. We have proven 80 theorems, some of them quite difficult. There is a discussion of the formulation of theâ€¦ (More)

Shang-Ching Chou, Xiao-Shan Gao~and Jing-Zhong Zllang$ Department of Computer Science, The Wichita State University Wichita KS 67260-0083, USA e-mail: thouâ€™Qcs.twsu.edu, gaoCil.cs.twsu. edu,â€¦ (More)