Author : Horst G Zimmer
Publisher : World Scientific
Page : 218 pages
File Size : 28,27 MB
Release : 1995-08-31
Category :
ISBN : 9814549002
NTAMCS '93 brought to Moscow researchers from areas of computer science and mathematics that traditionally have been apart, but which use similar number theoretic and algebraic methods. An incomplete list of such areas includes cryptography, coding theory, computational algebra and number theory, and numerical analysis. The papers in this volume emphasise the common principles and the essential unity of the computational and mathematical sciences.
Author : Jerzy Kaczorowski
Publisher : Springer
Page : 287 pages
File Size : 44,13 MB
Release : 2018-03-09
Category : Computers
ISBN : 3319766201
This book constitutes the refereed post-conference proceedings of the First International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2017, held in Warsaw, Poland, in September 2017.The 15 revised full papers presented in this book together with 3 invited talks were carefully reviewed and selected from 32 initial submissions. The papers are organized in topical sections on elliptic curves in cryptography; public-key cryptography; lattices in cryptography; number theory; pseudorandomness; and algebraic structures and analysis.
Author : Leonid A. Bokut'
Publisher : American Mathematical Soc.
Page : 734 pages
File Size : 42,84 MB
Release : 1992
Category : Algebra
ISBN : 0821851373
Author : Henri Cohen
Publisher : Springer Science & Business Media
Page : 556 pages
File Size : 38,95 MB
Release : 2013-04-17
Category : Mathematics
ISBN : 3662029456
A description of 148 algorithms fundamental to number-theoretic computations, in particular for computations related to algebraic number theory, elliptic curves, primality testing and factoring. The first seven chapters guide readers to the heart of current research in computational algebraic number theory, including recent algorithms for computing class groups and units, as well as elliptic curve computations, while the last three chapters survey factoring and primality testing methods, including a detailed description of the number field sieve algorithm. The whole is rounded off with a description of available computer packages and some useful tables, backed by numerous exercises. Written by an authority in the field, and one with great practical and teaching experience, this is certain to become the standard and indispensable reference on the subject.
Author : British Library. Document Supply Centre
Publisher :
Page : 890 pages
File Size : 38,42 MB
Release : 1998
Category : Conference proceedings
ISBN :
Author : Jaques Calmet
Publisher : Springer Science & Business Media
Page : 430 pages
File Size : 45,58 MB
Release : 1986-07
Category : Computers
ISBN : 9783540167761
Author : Peter Hertling
Publisher : Springer Science & Business Media
Page : 248 pages
File Size : 42,74 MB
Release : 2008-08-28
Category : Computers
ISBN : 3540855203
This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
Author : Frank Dehne
Publisher : Springer Science & Business Media
Page : 762 pages
File Size : 15,24 MB
Release : 1991-05-07
Category : Computers
ISBN : 9783540540298
This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers.
Author : Hartmut Ehrig
Publisher : Springer Science & Business Media
Page : 360 pages
File Size : 13,52 MB
Release : 1989-10-11
Category : Computers
ISBN : 9783540517221
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
Author : Serge Abiteboul
Publisher : Springer Science & Business Media
Page : 540 pages
File Size : 20,75 MB
Release : 1990-12-03
Category : Computers
ISBN : 9783540535072
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
