Tác giả: Dongming Wang

With a software library included, this book provides an elementary introduction to polynomial elimination in practice. The library Epsilon, implemented in Maple and Java, contains more than 70 …

…

The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation …

With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and …

This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the …

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, …

This volume contains survey articles and original research papers, presenting the state of the art on applying the symbolic approach of Gröbner bases and related methods to differential and …

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 …

…

…

…

The Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is …

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 …

Distributed MIMO and cell-free mobile communication are emerging technologies of wireless communication. This book introduces the fundamental theory, key technology and the prototype system of dist …