search for books and compare prices
Dongming Wang has written 12 work(s)
Search for other authors with the same name
displaying 1 to 12 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation...read more
Hardcover:
9783764379834 | Birkhauser, March 6, 2007, cover price $139.00 | About this edition: The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations.
Product Description: Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management...read more
Paperback:
9783540397281, titled "Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 Proceedings" | Springer-Verlag New York Inc, October 15, 2006, cover price $99.00 | About this edition: Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.
Product Description: This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects...read more
Paperback:
9783540313328 | Springer Verlag, March 15, 2006, cover price $89.99 | About this edition: This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.
Product Description: This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions...read more
Hardcover:
9783764373689 | Birkhauser, October 16, 2005, cover price $169.00 | About this edition: This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation.
Hardcover:
9781860944383 | Hardcover with CD edition (Imperial College Pr, June 1, 2004), cover price $114.00
Product Description: With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25-27, 2000 was made more formal than the previous ADG '96 (Toulouse, September 1996) and ADG '98 (Beijing, August 1998)...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540425984 | Springer Verlag, October 1, 2001, cover price $99.00 | About this edition: With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25-27, 2000 was made more formal than the previous ADG '96 (Toulouse, September 1996) and ADG '98 (Beijing, August 1998).
Hardcover:
9789810244989 | World Scientific Pub Co Inc, April 1, 2001, cover price $147.00
Product Description: The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B...read more (view table of contents, read Amazon.com's description)
Paperback:
9783211832417 | Springer-Verlag New York Inc, December 1, 2000, cover price $139.00 | About this edition: The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path.
(view table of contents)
Hardcover:
9780127347608 | Academic Pr, July 25, 2000, cover price $235.00
Paperback:
9783540666721 | Springer Verlag, June 1, 1999, cover price $99.00
Product Description: This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing...read more
Paperback:
9783540642978 | Springer Verlag, June 1, 1998, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996.
This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical ReasonĀ ing). Naturally, the MEDLAR Project was and is the focal point for our institute whose main objective is the combination of foundational research in the area of symbolic computation and possible applications thereof for high-tech industrial projects. I am grateful to the director of the MEDLAR project, Jim Cunningham, for his enthusiasm, profound expertise, and continuous effort to manage a fruitful cooperation between various European working groups in the area of the project and for giving us the opportunity to be part of this challenging endeavor. I also acknowledge and feel indebted to Jochen Pfalzgraf for managing the RISC part of the MEDLAR project and to both him and Dongming Wang for editing this volume and organizing the refereeing process.
Paperback:
9783211826003 | Gardners Books, February 1, 1995, cover price $111.15
9780387826004 | Springer Verlag, January 1, 1995, cover price $69.95 | About this edition: This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical ReasonĀ ing).
displaying 1 to 12 |
at end