Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Main Author
Chou, Shang-Ching, 1946-
Coauthor
Gao, Xiao-Shan,
Zhang, Jing-Zhong, 1936-
Country
Singapura.
Publication
Singapore : World Scientific, cop. 1994
Description
XVII, 461 p. ;
23 cm
Series
Series applied mathematics , 6)
ISBN
981-02-1584-3
CDU
514
There are no comments for this item.