Dongming Wang – författare
Visar alla böcker från författaren Dongming Wang. Handla med fri frakt och snabb leverans.
23 produkter
Gröbner Bases in Symbolic Analysis
Av Markus Rosenkranz, Dongming Wang
Inbunden, 2007
2239 kr
Lägg i varukorg
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 difference equations. The contributions are based on talks delivered at the Special Semester on Gröbner Bases …
Grobner Bases in Symbolic Analysis
Av Dongming Wang, Markus Rosenkranz
E-bok, 2011
2002 kr
Lägg i varukorg
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 difference equations. The contributions are based on talks delivered at the Special Semester on Gröbner Bases …
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Av Jacques Fleuriot, Dongming Wang m. fl.
Häftad, 2018
568 kr
Lägg i varukorg
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 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected …
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Av Jacques Calmet, Dongming Wang m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
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 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected …
Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Häftad, 2006
568 kr
Lägg i varukorg
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 …
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Av Jaques Calmet, Tetsuo Ida m. fl.
Häftad, 2006
568 kr
Lägg i varukorg
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 …
Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Av Jürgen Richter-Gebert, Dongming Wang
Häftad, 2001
552 kr
Lägg i varukorg
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). …
Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Av Dongming Wang, Jurgen Richter-Gebert
E-bok, 2003
710 kr
Lägg i varukorg
Automated Deduction in Geometry
Second International Workshop, ADG''98, Beijing, China, August 1-3, 1998, Proceedings
Av Lu Yang, Dongming Wang m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
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 represented by the notable number of more than 40 participants from ten countries and the strong …
Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Häftad, 1998
552 kr
Lägg i varukorg
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 …
Automated Deduction in Geometry
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Av Xiao-lu Gao, Dongming Wang m. fl.
Häftad, 1999
552 kr
Lägg i varukorg
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 represented by the notable number of more than 40 participants from ten countries and the strong …
Automated Practical Reasoning
Algebraic Approaches
Av Dongming Wang, Jochen Pfalzgraf
E-bok, 2012
1174 kr
Lägg i varukorg
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 …
Differential Equations with Symbolic Computation
Av Dongming Wang, Zhiming Zheng
Inbunden, 2005
1636 kr
Lägg i varukorg
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 …
Differential Equations with Symbolic Computation
Av Zhiming Zheng, Dongming Wang
E-bok, 2006
2065 kr
Lägg i varukorg
Symbolic-Numeric Computation
Inbunden, 2007
550 kr
Lägg i varukorg
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 coexisting in mathematics yet separated in traditional research of mathematical computation. This book …
Symbolic-Numeric Computation
E-bok, 2007
734 kr
Lägg i varukorg
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 coexisting in mathematics yet separated in traditional research of mathematical computation. This book …
Distributed MIMO and Cell-Free Mobile Communication
Av Xiaohu You, Dongming Wang m. fl.
Inbunden, 2020
1532 kr
Lägg i varukorg
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 distributed MIMO and cellular free mobile communication system, including the unified system model, …
Distributed MIMO and Cell-Free Mobile Communication
Av Jiangzhou Wang, Dongming Wang m. fl.
E-bok, 2020
1459 kr
Lägg i varukorg
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 distributed MIMO and cellular free mobile communication system, including the unified system model, …
Distributed MIMO and Cell-Free Mobile Communication
Av Xiaohu You, Dongming Wang m. fl.
Häftad, 2021
1096 kr
Lägg i varukorg
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 distributed MIMO and cellular free mobile communication system, including the unified system model, …
SYMBOLIC COMPUTATION AND EDUCATION
Av AL SHANGZHI LI ET, Shangzhi Li m. fl.
Inbunden, 2007
2181 kr
Lägg i varukorg
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 automated geometric reasoning, and to the design and implementation of educational software and …
ELIMINATION PRACTICE: SOFTWARE TOOLS AND APPLICATIONS (WITH CD-ROM)
Inbunden, 2004
1737 kr
Tillfälligt slut
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 well-documented functions for symbolic elimination and decomposition with polynomial systems and geometric …
COMPUTER MATHEMATICS - PROCEEDINGS OF THE FOURTH ASIAN SYMPOSIUM (ASCM 2000)
Av GAO XIAO-SHAN, Xiao-Shan Gao m. fl.
Inbunden, 2000
2293 kr
Tillfälligt slut
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 four invited speakers, G H Gonnet, D Lazard, W McCune, and W-T Wu, cover some of the most recent and …
GEOMETRIC COMPUTATION
Av CHEN FALAI, Falai Chen m. fl.
Inbunden, 2004
2564 kr
Tillfälligt slut
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; …
