Dongming Wang – författare

Visar alla böcker från författaren Dongming Wang. Handla med fri frakt och snabb leverans.

25 produkter

Kategorier

25 produkter

Gröbner Bases in Symbolic Analysis
AvMarkus Rosenkranz,Dongming Wang
Inbunden, Engelska, 2007
2 168 kr
Skickas inom 5-8 vardagar
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 and Related Methods hosted by the Johann Radon Institute of Computational and Applied Mathematics, Linz, Austria, in May 2006.
Grobner Bases in Symbolic Analysis
AvDongming Wang,Markus Rosenkranz
E-bok
PDF, Engelska, 2011
2 002 kr
Läs direkt efter köp
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 and Related Methods hosted by the Johann Radon Institute of Computational and Applied Mathematics, Linz, Austria, in May 2006.
Del 11110 - Lecture Notes in Computer Science
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Fleuriot,Dongming Wangm. fl.
Häftad, Engelska, 2018
577 kr
Skickas inom 10-15 vardagar
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 from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Calmet,Dongming Wangm. fl.
E-bok
Engelska, 2018
732 kr
Läs direkt efter köp
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 from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
AvHoon Hong,Dongming Wang
Häftad, Engelska, 2006
577 kr
Skickas inom 10-15 vardagar
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.
Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
AvDongming Wang,Hoon Hong
E-bok
PDF, Engelska, 2006
710 kr
Läs direkt efter köp
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
AvJaques Calmet,Tetsuo Idam. fl.
Häftad, Engelska, 2006
577 kr
Skickas inom 10-15 vardagar
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. Coverage includes mathematical foundations, implementations, and applications in industry and academia.
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
AvDongming Wang,Tetsuo Idam. fl.
E-bok
PDF, Engelska, 2006
718 kr
Läs direkt efter köp
Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
AvJürgen Richter-Gebert,Dongming Wang
Häftad, Engelska, 2001
560 kr
Skickas inom 10-15 vardagar
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). The workshop program featured two invited talks given by Christoph M. Ho?mann and Jurgen .. Bokowski, one open session talk by Wen-tsun .. Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see http://calfor.lip6.fr/"wang/ADG2000/). Some of the most recent and signi?cant research developments on geometric deduction were - ported and reviewed, and the workshop was well focused at a high scienti?c level. Fifteen contributions (out of the 18 regular presentations selected by the program committee from 31 submissions) and 2 invited papers were chosen for publication in these proceedings. These papers were all formally refereed and most of them underwent a double review-revision process.We hope that this volume meets the usual standard of international conference proceedings, rep- sentsthecurrentstateoftheartofADG,andwillbecomeavaluablereferencefor researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich.
Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
AvDongming Wang,Jurgen Richter-Gebert
E-bok
PDF, Engelska, 2003
710 kr
Läs direkt efter köp
Automated Deduction in Geometry
Second International Workshop, ADG''98, Beijing, China, August 1-3, 1998, Proceedings
AvLu Yang,Dongming Wangm. fl.
E-bok
PDF, Engelska, 2003
718 kr
Läs direkt efter köp
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 tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.
Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
AvDongming Wang
Häftad, Engelska, 1998
560 kr
Skickas inom 10-15 vardagar
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. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.
Automated Deduction in Geometry
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
AvXiao-lu Gao,Dongming Wangm. fl.
Häftad, Engelska, 1999
560 kr
Skickas inom 10-15 vardagar
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 tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.
Automated Practical Reasoning
Algebraic Approaches
AvDongming Wang,Jochen Pfalzgraf
E-bok
PDF, Engelska, 2012
1 148 kr
Läs direkt efter köp
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.
Differential Equations with Symbolic Computation
AvDongming Wang,Zhiming Zheng
Inbunden, Engelska, 2005
1 667 kr
Skickas inom 10-15 vardagar
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.
Differential Equations with Symbolic Computation
AvZhiming Zheng,Dongming Wang
E-bok
PDF, Engelska, 2006
2 065 kr
Läs direkt efter köp
Symbolic-Numeric Computation
AvDongming Wang,Li-Hong Zhi
Inbunden, Engelska, 2007
560 kr
Skickas inom 10-15 vardagar
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 presents 23 research articles on the integration and interaction of symbolic and numeric computation.
Symbolic-Numeric Computation
AvLi-Hong Zhi,Dongming Wang
E-bok
PDF, Engelska, 2007
718 kr
Läs direkt efter köp
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 presents 23 research articles on the integration and interaction of symbolic and numeric computation.
Distributed MIMO and Cell-Free Mobile Communication
AvXiaohu You,Dongming Wangm. fl.
Inbunden, Engelska, 2020
1 556 kr
Skickas inom 10-15 vardagar
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, capacity and spectral efficiency analysis under imperfect channel information, cell edge effect, optimal power allocation and energy efficiency optimization, cache optimization, low complexity wireless transmission technology and new network assisted full duplex technology. In addition, the implementation of software and hardware and test results of distributed MIMO and cell free system based on cloud architecture are introduced in detail.This book will benefit senior undergraduates, postgraduates, scholars and engineers who are engaged in wireless mobile communication research. It can also be used as a reference book for postgraduates and researchers in the field of electronic andinformation engineering.
Distributed MIMO and Cell-Free Mobile Communication
AvJiangzhou Wang,Dongming Wangm. fl.
E-bok
Engelska, 2020
1 413 kr
Läs direkt efter köp
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, capacity and spectral efficiency analysis under imperfect channel information, cell edge effect, optimal power allocation and energy efficiency optimization, cache optimization, low complexity wireless transmission technology and new network assisted full duplex technology. In addition, the implementation of software and hardware and test results of distributed MIMO and cell free system based on cloud architecture are introduced in detail.This book will benefit senior undergraduates, postgraduates, scholars and engineers who are engaged in wireless mobile communication research. It can also be used as a reference book for postgraduates and researchers in the field of electronic andinformation engineering.
Distributed MIMO and Cell-Free Mobile Communication
AvXiaohu You,Dongming Wangm. fl.
Häftad, Engelska, 2021
1 113 kr
Skickas inom 10-15 vardagar
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, capacity and spectral efficiency analysis under imperfect channel information, cell edge effect, optimal power allocation and energy efficiency optimization, cache optimization, low complexity wireless transmission technology and new network assisted full duplex technology. In addition, the implementation of software and hardware and test results of distributed MIMO and cell free system based on cloud architecture are introduced in detail.This book will benefit senior undergraduates, postgraduates, scholars and engineers who are engaged in wireless mobile communication research. It can also be used as a reference book for postgraduates and researchers in the field of electronic andinformation engineering.
SYMBOLIC COMPUTATION AND EDUCATION
AvAL SHANGZHI LI ET,Shangzhi Lim. fl.
Inbunden, Engelska, 2007
2 135 kr
Skickas inom 5-8 vardagar
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 integrated teaching and learning environments. The book may serve as a useful reference for researchers, educators, and other professionals interested in developing, using, and practising methodologies and software tools of symbolic computation for education from the secondary to the undergraduate level.
ELIMINATION PRACTICE: SOFTWARE TOOLS AND APPLICATIONS (WITH CD-ROM)
AvDongming Wang
Inbunden, Engelska, 2004
1 700 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 reasoning. The book presents the functionality, implementation, and performance of Epsilon and demonstrates the usefulness of the elimination tool by a number of selected applications, together with many examples and illustrations. The reader will find Epsilon an efficient tool, applicable to a wide range of problems in science, engineering, and industry, and this book an accessible exposition and a valuable reference for elimination theory, methods, and practice.
Del 8 - LECTURE NOTES SERIES ON COMPUTING
COMPUTER MATHEMATICS - PROCEEDINGS OF THE FOURTH ASIAN SYMPOSIUM (ASCM 2000)
AvGAO XIAO-SHAN,Xiao-Shan Gaom. fl.
Inbunden, Engelska, 2000
2 244 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 significant advances in computer mathematics, including algebraic, symbolic, numeric, and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design. Researchers, teachers, students, and engineers interested in doing mathematics using computers will find this volume good reading and a valuable reference.
Del 11 - LECTURE NOTES SERIES ON COMPUTING
GEOMETRIC COMPUTATION
AvCHEN FALAI,Falai Chenm. fl.
Inbunden, Engelska, 2004
2 564 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; and exact geometric computation. Basic techniques, advanced methods, and new findings are presented coherently, with many examples and illustrations. Using this book the reader will easily cross the frontiers of symbolic computation, computer aided geometric design, and automated reasoning. The book is also a valuable reference for people working in other relevant areas, such as scientific computing, computer graphics, and artificial intelligence.

Företag, bibliotek eller offentlig verksamhet?

Dongming Wang – författare

Gröbner Bases in Symbolic Analysis

Grobner Bases in Symbolic Analysis

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Automated Deduction in Geometry

Automated Deduction in Geometry

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Automated Deduction in Geometry

Automated Deduction in Geometry

Automated Deduction in Geometry

Automated Deduction in Geometry

Automated Deduction in Geometry

Automated Practical Reasoning

Differential Equations with Symbolic Computation

Differential Equations with Symbolic Computation

Symbolic-Numeric Computation

Symbolic-Numeric Computation

Distributed MIMO and Cell-Free Mobile Communication

Distributed MIMO and Cell-Free Mobile Communication

Distributed MIMO and Cell-Free Mobile Communication

SYMBOLIC COMPUTATION AND EDUCATION

ELIMINATION PRACTICE: SOFTWARE TOOLS AND APPLICATIONS (WITH CD-ROM)

COMPUTER MATHEMATICS - PROCEEDINGS OF THE FOURTH ASIAN SYMPOSIUM (ASCM 2000)

GEOMETRIC COMPUTATION

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration