“dongming wang”

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 algebraic equations solving and geometric theorem proving together with their applications to problems... More

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 rev... More

This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, the book also covers the theory... More

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 3... More

This volume contains survey articles and original research papers, presenting the state of the art on applying the symbolic approach of Grobner bases and related methods to differential and difference equations. The contributions are based on talks delivered at the Special Semester on Grobner Bases ... More

This book constitutes 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 were carefully selected from the papers accepted for the workshop after ... More

This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of algebraic computation, it covers: surface blending, implicitization, and parametrization; automated deduction with Clifford algebra and in real geometry; ... More

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 equ... More