Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642572014
Category : Computers
Languages : en
Pages : 431
Book Description
Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
Computer Algebra in Scientific Computing
Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642572014
Category : Computers
Languages : en
Pages : 431
Book Description
Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
Publisher: Springer Science & Business Media
ISBN: 3642572014
Category : Computers
Languages : en
Pages : 431
Book Description
Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
Lie Algebras: Theory and Algorithms
Author: W.A. de Graaf
Publisher: Elsevier
ISBN: 0080535453
Category : Mathematics
Languages : en
Pages : 407
Book Description
The aim of the present work is two-fold. Firstly it aims at a giving an account of many existing algorithms for calculating with finite-dimensional Lie algebras. Secondly, the book provides an introduction into the theory of finite-dimensional Lie algebras. These two subject areas are intimately related. First of all, the algorithmic perspective often invites a different approach to the theoretical material than the one taken in various other monographs (e.g., [42], [48], [77], [86]). Indeed, on various occasions the knowledge of certain algorithms allows us to obtain a straightforward proof of theoretical results (we mention the proof of the Poincaré-Birkhoff-Witt theorem and the proof of Iwasawa's theorem as examples). Also proofs that contain algorithmic constructions are explicitly formulated as algorithms (an example is the isomorphism theorem for semisimple Lie algebras that constructs an isomorphism in case it exists). Secondly, the algorithms can be used to arrive at a better understanding of the theory. Performing the algorithms in concrete examples, calculating with the concepts involved, really brings the theory of life.
Publisher: Elsevier
ISBN: 0080535453
Category : Mathematics
Languages : en
Pages : 407
Book Description
The aim of the present work is two-fold. Firstly it aims at a giving an account of many existing algorithms for calculating with finite-dimensional Lie algebras. Secondly, the book provides an introduction into the theory of finite-dimensional Lie algebras. These two subject areas are intimately related. First of all, the algorithmic perspective often invites a different approach to the theoretical material than the one taken in various other monographs (e.g., [42], [48], [77], [86]). Indeed, on various occasions the knowledge of certain algorithms allows us to obtain a straightforward proof of theoretical results (we mention the proof of the Poincaré-Birkhoff-Witt theorem and the proof of Iwasawa's theorem as examples). Also proofs that contain algorithmic constructions are explicitly formulated as algorithms (an example is the isomorphism theorem for semisimple Lie algebras that constructs an isomorphism in case it exists). Secondly, the algorithms can be used to arrive at a better understanding of the theory. Performing the algorithms in concrete examples, calculating with the concepts involved, really brings the theory of life.
Computer Algebra in Scientific Computing CASC’99
Author: Victor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642602185
Category : Computers
Languages : en
Pages : 507
Book Description
The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics.
Publisher: Springer Science & Business Media
ISBN: 3642602185
Category : Computers
Languages : en
Pages : 507
Book Description
The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics.
Symbolic and Numerical Scientific Computation
Author: Franz Winkler
Publisher: Springer Science & Business Media
ISBN: 3540405542
Category : Computers
Languages : en
Pages : 399
Book Description
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001. The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.
Publisher: Springer Science & Business Media
ISBN: 3540405542
Category : Computers
Languages : en
Pages : 399
Book Description
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001. The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.
Heads of Families at the First Census of the United States Taken in the Year 1790 ...
Author: United States. Bureau of the Census
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 334
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 334
Book Description
Selected Areas in Cryptography
Author: Bart Preneel
Publisher: Springer
ISBN: 3540331093
Category : Computers
Languages : en
Pages : 380
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Selected Areas in Cryptography, SAC 2005, held in Canada in August 2005. The 25 revised full papers presented were carefully reviewed and selected from 96 submissions for inclusion in the book. The papers are organized in topical sections.
Publisher: Springer
ISBN: 3540331093
Category : Computers
Languages : en
Pages : 380
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Selected Areas in Cryptography, SAC 2005, held in Canada in August 2005. The 25 revised full papers presented were carefully reviewed and selected from 96 submissions for inclusion in the book. The papers are organized in topical sections.
Handbook of Automated Reasoning
Author: Alan J.A. Robinson
Publisher: Gulf Professional Publishing
ISBN: 9780444829498
Category : Computers
Languages : en
Pages : 1004
Book Description
Handbook of Automated Reasoning.
Publisher: Gulf Professional Publishing
ISBN: 9780444829498
Category : Computers
Languages : en
Pages : 1004
Book Description
Handbook of Automated Reasoning.
Jewish Humor
Author: Arie Sover
Publisher: Cambridge Scholars Publishing
ISBN: 1527568083
Category : Humor
Languages : en
Pages : 339
Book Description
This book details the evolution of Jewish humor, highlighting its long history from the period of the Bible to the present day, and includes a wide spectrum of styles that are expressed in various works and fields, including the Bible, the Talmud, poetry, literature, folklore, jokes, movies, and television series. It focuses upon three socio-geographic regions where the majority of Jewish people lived during the 18th to 21st centuries and where Jewish humor was created, developed and thrived: Eastern Europe, the United States and Israel. The text is a complicated mosaic based on three central components of Jewish life: historical experience, survival, and wisdom. It shows that one cannot understand Jewish humor without referring to the various factors which led the Jewish people to create their unusual sense of humor.
Publisher: Cambridge Scholars Publishing
ISBN: 1527568083
Category : Humor
Languages : en
Pages : 339
Book Description
This book details the evolution of Jewish humor, highlighting its long history from the period of the Bible to the present day, and includes a wide spectrum of styles that are expressed in various works and fields, including the Bible, the Talmud, poetry, literature, folklore, jokes, movies, and television series. It focuses upon three socio-geographic regions where the majority of Jewish people lived during the 18th to 21st centuries and where Jewish humor was created, developed and thrived: Eastern Europe, the United States and Israel. The text is a complicated mosaic based on three central components of Jewish life: historical experience, survival, and wisdom. It shows that one cannot understand Jewish humor without referring to the various factors which led the Jewish people to create their unusual sense of humor.
Ploughs and Politicks
Author: Carl Raymond Woodward
Publisher:
ISBN:
Category : Agriculture
Languages : en
Pages : 528
Book Description
Publisher:
ISBN:
Category : Agriculture
Languages : en
Pages : 528
Book Description
Computer Algebra Handbook
Author: Johannes Grabmeier
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656
Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656
Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.