Home Advanced Search

Advanced Search - Page 1

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Practical Reasoning: Algebraic Approaches
  • PDF
  • English
  • Year: 1995
  • Author: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
  • PDF
  • English
  • Year: 2001
  • Author: Jacques Fleuriot PhD, MEng (auth.)
Elimination Methods
  • PDF
  • English
  • Year: 2001
  • Author: Dr. Dongming Wang (auth.)
Symbolic-Numeric Computation
  • PDF
  • English
  • Year: 2007
  • Author: Robert M. Corless (auth.), Dongming Wang, Lihong Zhi (eds.)
Autophagy and Cancer
  • PDF
  • English
  • Year: 2013
  • Author: William A. Dunn Jr., Laura A. Schroder, John P. Aris (auth.), Hong-Gang Wang (eds.)
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)
search