Machine proofs in geometry: automated production of readable proofs for geome… by Chou, Shang-Ching, Gao, Xiao-Shan, Zhang, Jing-Zhong fromSeries on applied mathematics 0 Type: Book
Machine proofs in geometry: automated production of readable proofs for geome… by Chou, Shang-Ching, Gao, Xiao-Shan, Zhang, Jing-Zhong fromSeries on applied mathematics (Singapore) 0 Type: Book
Machine proofs in geometry: automated production of readable proofs for geome… by Chou, Shang-Ching, Gao, Xiao-Shan, Zhang, Jing-Zhong fromSeries on applied mathematics 0 Type: Book
