Computer Algebra in Scientific Computing

Computer Algebra in Scientific Computing
Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
Total Pages: 431
Release: 2012-12-06
Genre: Computers
ISBN: 3642572014

Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000

Lie Algebras: Theory and Algorithms

Lie Algebras: Theory and Algorithms
Author: W.A. de Graaf
Publisher: Elsevier
Total Pages: 407
Release: 2000-02-04
Genre: Mathematics
ISBN: 0080535453

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

Computer Algebra in Scientific Computing CASC’99
Author: Victor G. Ganzha
Publisher: Springer Science & Business Media
Total Pages: 507
Release: 2012-12-06
Genre: Computers
ISBN: 3642602185

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

Symbolic and Numerical Scientific Computation
Author: Franz Winkler
Publisher: Springer Science & Business Media
Total Pages: 399
Release: 2003-06-30
Genre: Computers
ISBN: 3540405542

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.

Selected Areas in Cryptography

Selected Areas in Cryptography
Author: Bart Preneel
Publisher: Springer
Total Pages: 380
Release: 2006-02-26
Genre: Computers
ISBN: 3540331093

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.

Jewish Humor

Jewish Humor
Author: Arie Sover
Publisher: Cambridge Scholars Publishing
Total Pages: 339
Release: 2021-04-06
Genre: Humor
ISBN: 1527568083

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.

Handbook of Automated Reasoning

Handbook of Automated Reasoning
Author: Alan J.A. Robinson
Publisher: Gulf Professional Publishing
Total Pages: 1004
Release: 2001-06-21
Genre: Computers
ISBN: 9780444829498

Handbook of Automated Reasoning.

Computer Algebra Handbook

Computer Algebra Handbook
Author: Johannes Grabmeier
Publisher: Springer Science & Business Media
Total Pages: 656
Release: 2012-12-06
Genre: Computers
ISBN: 3642558267

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.