Author

Shang-Ching Chou

2 books found

Cover of Machine proofs in geometry

Machine proofs in geometry

Chou, Shang-Ching · First published 1994

Cover of Mechanical geometry theorem proving

Mechanical geometry theorem proving

Chou, Shang-Ching · First published 1899 · Latest edition 1988