William F. Schelter

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1990

2 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): 147-154 (1990)

1986

1 Shang-Ching Chou, William F. Schelter: Proving Geometry Theorems with Rewrite Rules. J. Autom. Reasoning 2(3): 253-273 (1986)

1990
2		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): 147-154 (1990)
1986
1		Shang-Ching Chou, William F. Schelter: Proving Geometry Theorems with Rewrite Rules. J. Autom. Reasoning 2(3): 253-273 (1986)

Coauthor Index

1 Shang-Ching Chou [1] [2]

2 Jin-Gen Yang [2]