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
Inverse problems: Tikhonov theory and algorithms by Jin, Bangti, Ito, Kazufumi fromSeries on applied mathematics (Singapore) 0 Type: Book
