William F. Schelter

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]