You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 4th International Algorithmic Number Theory Symposium, ANTS-IV, held in Leiden, The Netherlands, in July 2000. The book presents 36 contributed papers which have gone through a thorough round of reviewing, selection and revision. Also included are 4 invited survey papers. Among the topics addressed are gcd algorithms, primality, factoring, sieve methods, cryptography, linear algebra, lattices, algebraic number fields, class groups and fields, elliptic curves, polynomials, function fields, and power sums.
This book constitutes the refereed proceedings of the 5th International Algorithmic Number Theory Symposium, ANTS-V, held in Sydney, Australia, in July 2002. The 34 revised full papers presented together with 5 invited papers have gone through a thorough round of reviewing, selection and revision. The papers are organized in topical sections on number theory, arithmetic geometry, elliptic curves and CM, point counting, cryptography, function fields, discrete logarithms and factoring, Groebner bases, and complexity.
The LNAI series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comperhensive computer science research forum avaiable. The scope of LNAI spans the whole range of artificial intelligence and intelligent Information processing incliding interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.
ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.
Recent advances in hardware performance and software technology have made possible a wholly different approach to computational mathematics. Symbolic computation systems have revolutionized the field, building upon established and recent mathematical theory to open new possibilities in virtually every industry. Formerly dubbed Scratchpad, AXIOM is a powerful new symbolic and numerical system developed at the IBM Thomas J. Watson Research Center. AXIOM's scope, structure, and organization make it outstanding among computer algebra systems. AXIOM: The Scientific Computation System is a companion to the AXIOM system. The text is written in a straightforward style and begins with a spirited fore...
The volume is a collection of 20 refereed articles written in connection with lectures presented at the 12th International Conference on Finite Fields and Their Applications ('Fq12') at Skidmore College in Saratoga Springs, NY in July 2015. Finite fields are central to modern cryptography and secure digital communication, and hence must evolve rapidly to keep pace with new technologies. Topics in this volume include cryptography, coding theory, structure of finite fields, algorithms, curves over finite fields, and further applications.Contributors will include: Antoine Joux (Fondation Partenariale de l'UPMC, France); Gary Mullen (Penn State University, USA); Gohar Kyureghyan (Otto-von-Guericke Universität, Germany); Gary McGuire (University College Dublin, Ireland); Michel Lavrauw (Università degli Studi di Padova, Italy); Kirsten Eisentraeger (Penn State University, USA); Renate Scheidler (University of Calgary, Canada); Michael Zieve (University of Michigan, USA).
Since its very existence as a separate field within computer science, computer graphics had to make extensive use of non-trivial mathematics, for example, projective geometry, solid modelling, and approximation theory. This interplay of mathematics and computer science is exciting, but also makes it difficult for students and researchers to assimilate or maintain a view of the necessary mathematics. The possibilities offered by an interdisciplinary approach are still not fully utilized. This book gives a selection of contributions to a workshop held near Genoa, Italy, in October 1991, where a group of mathematicians and computer scientists gathered to explore ways of extending the cooperation between mathematics and computer graphics.
Effective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic algorithms for manipulating polynomials including factoring polynomials. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inappropriate are discussed and the practical alternatives are explained. Effective Polynomial Computation provides much of the mathematical motivation of the algorithms discussed to help the reader appreciate the mathematical mechanisms underlying the algorithms, and so that the algorithms will not appear to be constructed out of whole cloth. Preparatory to the discussion ...
This book is devoted to studying algorithms for the solution of a class of quadratic matrix and vector equations. These equations appear, in different forms, in several practical applications, especially in applied probability and control theory. The equations are first presented using a novel unifying approach; then, specific numerical methods are presented for the cases most relevant for applications, and new algorithms and theoretical results developed by the author are presented. The book focuses on “matrix multiplication-rich” iterations such as cyclic reduction and the structured doubling algorithm (SDA) and contains a variety of new research results which, as of today, are only available in articles or preprints.
The book takes a practical look at the complexity of the nature of violence/terrorism in Nigeria, in the light of the Catholic social teaching on non-violent resistance. With the critical analyses of some policies/strategies used to address the problem of Boko Haram terrorism in Nigeria, the book explores a range of questions: Does severe punishment work effectively as deterrence against possible involvement in terrorism? Does applying “lex talionis” reduce or exacerbate recidivism? What are the right mechanisms to stop terrorism/violence in Nigeria? This book is convinced that nothing is resolved through violence, and that, violence begets violence, alluding that, responding to terror w...