Home Advanced Search

Advanced Search - Page 1

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Xiao-Shan Gao, Dongming Wang, Lu Yang (auth.)
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
  • PDF
  • English
  • Year: 2001
  • Author: Xiao-Shan Gao; Dongming Wang (eds.)
Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I
  • PDF
  • English
  • Year: 2010
  • Author: Qi Wang, Dongming Lu, Hongxin Zhang (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.)
Elimination Methods
  • PDF
  • English
  • Year: 2001
  • Author: Dr. Dongming Wang (auth.)
General Fractional Derivatives with Applications in Viscoelasticity
  • PDF
  • English
  • Year: 2020
  • Author: Xiao-Jun Yang, Feng Gao, Yang Ju
Machine proofs in geometry : automated production of readable proofs for geometry theorems
  • PDF
  • English
  • Year: 1994
  • Author: Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
  • DJVU
  • English
  • Year: 1994
  • Author: Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
  • DJVU
  • English
  • Year: 1994
  • Author: Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Elimination Practice
  • PDF
  • English
  • Year: 2004
  • Author: Dongming Wang
Elimination Practice: Software Tools and Applications
  • DJVU
  • English
  • Year: 2004
  • Author: Dongming Wang
search