wyszukanych pozycji: 9
![]() |
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
ISBN: 9783540642978 / Angielski / Miękka / 1998 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric...
This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, ...
|
cena:
202,19 |
![]() |
Symbolic Computation and Education
ISBN: 9789812775993 / Angielski / Twarda / 2007 / 256 str. Termin realizacji zamówienia: ok. 30 dni roboczych. With 14 chapters written by leading experts and educators, this book covers a 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.
With 14 chapters written by leading experts and educators, this book covers a range of topics from teaching philosophy and curriculum development to s...
|
cena:
640,58 |
![]() |
Distributed Mimo and Cell-Free Mobile Communication
ISBN: 9789811598449 / Angielski / Twarda / 2020 / 220 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
566,20 |
![]() |
Large-Scale Wind Power Grid Integration: Technological and Regulatory Issues
ISBN: 9780128498958 / Angielski / Miękka / 2015 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Large Scale Wind Power Grid Integration: Technological and Regulatory Issues presents engineers with detailed solutions on the challenges of integrating and transmitting electricity generated from high power wind installations, covering all of the standard engineering issues associated with high power wind generation. The book includes detailed case studies from eight wind power bases in China, providing important insights for engineers in countries that are seeking to develop large-scale wind power farms. Also discussed is the emergence of 10 GW-level wind power bases that are now... Large Scale Wind Power Grid Integration: Technological and Regulatory Issues presents engineers with detailed solutions on the challenges of... |
cena:
514,55 |
![]() |
Elimination Methods
ISBN: 9783211832417 / Angielski / Miękka / 2000 / 244 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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 the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based...
The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be ...
|
cena:
404,42 |
![]() |
Differential Equations with Symbolic Computation
ISBN: 9783764373689 / Angielski / Twarda / 2005 / 374 str. Termin realizacji zamówienia: 22 dni roboczych 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. This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It fo... |
442,23 |
![]() |
Symbolic-Numeric Computation
ISBN: 9783764379834 / Angielski / Twarda / 2007 / 395 str. Termin realizacji zamówienia: 22 dni roboczych The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration and interaction of symbolic and numeric computation. The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and nu... |
150,12 |
![]() |
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
ISBN: 9783540666721 / Angielski / Miękka / 1999 / 292 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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...
The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest i...
|
cena:
202,19 |
![]() |
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
ISBN: 9783540397281 / Angielski / Miękka / 2006 / 269 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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. Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The bo... |
cena:
202,19 |