Shang-Ching Chou profile picture

Shang-Ching Chou

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Hygrothermoelasticity
Hygrothermoelasticity
Hygrothermoelasticity
Mechanical Geometry Theorem Proving
Mechanical Geometry Theorem Proving
Machine Proofs in Geometry Automated Production of Readable Proofs for Geometry Theorems
Mechanical Geometry Theorem Proving (Mathematics and Its Applications, 41)