Concepedia

Shang Chou

SC

Statistics

Publications

6

Citations

115

H-Index

6

Active since

1989

Affiliations

Wichita State University(Current)

Shang Chou is an author at Wichita State University specializing in mathematics, geometry, and natural sciences.

Publications per year

1989–2002

6

Publications

6

Automated production of traditional proofs for constructive geometry theorems

Shang Chou, Xiao-Shan Gao, J.-Z. Zhang · 2002 · 45 citations

Computing, Computer Science, Mathematics +13

Mechanical Formula Derivation in Elementary Geometries

Shang Chou, Xiao Gao · 1989 · 17 citations

Natural Sciences, Mathematics, Computational Geometry +7

On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

Shang Chou, Jin Gen Yang · Algorithmica · 1989 · 14 citations

Natural Sciences, Mathematics, Algebra +13

Implicitization of Rational Parametric Equations

Xiao Feng Gao, Shang Chou · 1990 · 14 citations

Natural Sciences, Computer Science, Mathematics +13

On the Mechanical Proof of Geometry Theorems Involving Inequalities

Shang Chou, Xiao Gao, Dennis S. Arnon · 1989 · 13 citations

Natural Sciences, Computer Science, Mathematics +10

1–5 of 6