yr 〜
yr

Search results 6

Computer mathematics : proceedings of the fourth Asian symposium (ASCM 2000) : Chiang Mai, Thailand, 17-21 December 2000. : Dec 2000, Chiang Mai, Thailand. (Lecture Notes Series on Computing ; 8)

Computer mathematics : proceedings of the fourth Asian symposium (ASCM 2000) : Chiang Mai, Thailand, 17-21 December 2000. : Dec 2000, Chiang Mai, Thailand. (Lecture Notes Series on Computing ; 8)
Paper図書
World Scientificc2000.<M17-03-506>
National Diet Library
  • Author HeadingGao, Xiao-Shan. Wang, Dongming. Asian Sympos...

Mathematical software : proceedings of the First International Congress of Mathematical Software, Beijing, China, 17-19 August 2002

Mathematical software : proceedings of the First International Congress of Mathematical Software, Beijing, China, 17-19 August 2002
Paper図書
editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki TakayamaWorld Scientificc2002
Other Libraries in Japan
  • Author HeadingInternational Congress of Mathematical Software Cohen, Arjeh M. Gao, Xiao-Shan 高山, 信毅

Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000

Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000
Paper図書
edited by Xiao-Shan Gao, Dongming WangWorld Scientific2000
Other Libraries in Japan
  • Author HeadingAsian Symposium on Computer Mathematics Gao, Xiao-Shan Wang, Dongming

Mathematics mechanization and applications

Mathematics mechanization and applications
Paper図書
edited by Xiao-Shan Gao and Dongming WangAcademic Pressc2000
Other Libraries in Japan
  • Author HeadingGao, Xiao-Shan Wang, Dongming

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
Paper図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Workshop on Automated Deduction in Geometry Gao, Xiao-Shan Wang, Dongming Yang, Lu

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Paper図書
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong ZhangWorld Scientificc1994
Other Libraries in Japan
  • Author HeadingChou, Shang-Ching Gao, Xiao-Shan Chang, Ching-chung

Reached to the end of result.