wyszukanych pozycji: 13
Symbolic Computation and Education
ISBN: 9789812775993 / Angielski / Twarda / 2007 / 256 str. Termin realizacji zamówienia: ok. 22 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:
641,69 zł |
elimination practice: software tools and applications
ISBN: 9781860944383 / Angielski / Twarda / 2004 / 232 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 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...
With a software library included, this book provides an elementary introduction to polynomial elimination in practice. The library Epsilon, implemente...
|
|
cena:
495,61 zł |
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. 20 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:
194,97 zł |
Geometric Computation
ISBN: 9789812387998 / Angielski / Twarda / 2004 / 424 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 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...
This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of alge...
|
|
cena:
735,59 zł |
Distributed Mimo and Cell-Free Mobile Communication
ISBN: 9789811598449 / Angielski / Twarda / 2020 / 220 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
545,99 zł |
Large-Scale Wind Power Grid Integration: Technological and Regulatory Issues
ISBN: 9780128498958 / Angielski / Miękka / 2015 / 352 str. Termin realizacji zamówienia: ok. 18-20 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:
542,56 zł |
Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
ISBN: 9789810244989 / Angielski / Twarda / 2000 / 336 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions together with full papers and extended abstracts by the four invited speakers, G.H. Gonnet, D. Lazard, W. McCune and W.-T. Wu, and these cover some of the most significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design.
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions togethe...
|
|
cena:
636,47 zł |
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
ISBN: 9783540425984 / Angielski / Miękka / 2001 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zur...
|
|
cena:
194,97 zł |
Elimination Methods
ISBN: 9783211832417 / Angielski / Miękka / 2000 / 244 str. Termin realizacji zamówienia: ok. 20 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:
389,98 zł |
Differential Equations with Symbolic Computation
ISBN: 9783764373689 / Angielski / Twarda / 2005 / 374 str. Termin realizacji zamówienia: ok. 20 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... |
|
cena:
585,00 zł |
Symbolic-Numeric Computation
ISBN: 9783764379834 / Angielski / Twarda / 2007 / 395 str. Termin realizacji zamówienia: ok. 20 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... |
|
cena:
194,97 zł |
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. 20 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:
194,97 zł |
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. 20 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:
194,97 zł |