Mathematics Mechanization And Applications

By Dongming Wang, Xiao-Shan Gao

Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing...

Automated Practical Reasoning: Algebraic Approaches

By Dongming Wang, Jochen Pfalzgraf, Jochen Pfalzgraf~Dongming Wang, Jochen Pfalzgraf, Dongming Wang (Auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (Eds.)

This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the field of constructive...

Symbolic And Numeric Algorithms For Scientific Computing: Proceedings

By Romania) International Symposium On Symbolic And Numeric Algorithms For Scientific Computing (13th 2011 Timișoara, Institute Of Electrical & Electronics Engineers, IEEE Computer Society, Dongming Wang, International Symposium On Symbolic And Numeric Algorithms For Scienti...

Differential Equations With Symbolic Computation

By Dongming Wang, Zhiming . Zheng, Dongming Wang, Zhiming Zheng, Editors

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 Thr...

Proceedings Of The 2007 International Symposium On Symbolic And Algebraic Computation

By Association For Computing Machinery., Christopher W. Brown, Dongming Wang, Association For Computing Machinery. Special Interest Group On Symbolic & Algebraic Manipulation, ACM Digital Library

Automated Practical Reasoning: Algebraic Approaches

By J. Cunningham, Dongming Wang, Jochen Pfalzgraf, Jochen Pfalzgraf, Dongming Wang (Auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (Eds.), Editor-Jochen Pfalzgraf; Editor-Dongming Wang; Foreword-J. Cunningham

This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the field of constructive...

Elimination Methods

By Dongming Wang, D. Wang, Dr. Dongming Wang (Auth.)

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 th...

Automated Deduction In Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

By Dongming Wang, Hoon Hong, International Workshop On Automated Deduction In Geometry

Hoon Hong, Dongming Wang (eds.). Includes Bibliographical References And Index. Also Issued Online.

Artificial Intelligence And Symbolic Computation: 8th International Conference, Aisc 2006, Beijing, China, September 20-22, 2006, Proceedings

By Tetsuo Ida, Dongming Wang, Jaques Calmet, AISC 2006

Automated Deduction In Geometry: International Workshop On Automated Deduction In Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture Notes In Computer Science (1360))

By Dongming Wang, International Workshop On Automated Deduction In Geometry (1st 1996 Toulouse, France), International Workshop On Automated Deduction In Geometry

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. Th...