William F. Schelter

Publication Activity (10 Years)

Years Active: 1986-1990
Publications (10 Years): 0

Publications

Shang-Ching Chou, William F. Schelter, Jin-Gen Yang
An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. Algorithmica 5 (2) (1990)
Shang-Ching Chou, William F. Schelter
Proving Geometry Theorems with Rewrite Rules. J. Autom. Reason. 2 (3) (1986)