The Mathematics of Ciphers Number Theory and RSA Cryptography

Total Page:16

File Type:pdf, Size:1020Kb

The Mathematics of Ciphers Number Theory and RSA Cryptography The Mathematics of Ciphers Number Theory and RSA Cryptography S. C. Coutinho Department of Computer Science Federal University of Rio de Janeiro Rio de Janeiro, Brazil CRC Press Taylor & Francis Group Boca Raton London New York CRC Press is an im p rin t of the Taylor & Francis Group, an informa business AN AK PETERS BOOK Editorial, Sales, and Customer Service Office A K Peters, Ltd. 888 Worcester Street, Suite 230 Wellesley, MA 02482 Copyright © 1999 by A K Peters, Ltd. All rights reserved. No part of the material protected by this copyright notice may be reproduced or utilized in any form, electronic or mechanical, including photocopying, recording, or by any information storage and retrieval system, without written permis­ sion from the copyright owner. Library of Congress Catalogmg-in-Publication Data Coutinho, S. C. [Numeros inteiros e criptografia RSA. English] The mathematics of ciphers : number theory and RSA cryptography / S.C. Coutinho. p. cm. Includes bibliographical references and index. ISBN 1-56881-082-2 1. Number theory. 2. Cryptography. I. Title QA241 .c69513 1998 512' .7—dc21 98-49611 CIP For Andrea and Daniel And I wish the Reader also to take notice, that in writing of it I have made myself a recreation of a recreation; and that it might prove so to him, and not read dull and tediously, I have in sev­ eral places mixt (not any scurrility, but) some innocent, harmless mirth; of which, if thou be a severe, sowre-complexion d man, then I here disallow thee to be a competent judge; for Divines say, There are offences given, and offences not given but taken. Izaak Wolton in “The Compleat Angler” Contents Preface xiii Introduction 1 1. Cryptography 1 2. The RSA cryptosystem 3 3. Computer algebra 5 4. The Greeks and the integers 7 5. Fermat, Euler, and Gauss 8 6. The problems of number theory 11 7. Theorems and proofs 12 Chapter 1. Fundamental algorithms 17 1. Algorithms 17 2. Division algorithm 19 3. Division theorem 21 4. The Euclidean algorithm 22 5. Proof of the Euclidean algorithm 25 6. Extended Euclidean algorithm 27 7. Exercises 30 Chapter 2. Unique factorization 33 1. Unique factorization theorem 33 2. Existence of the factorization 34 3. Efficiency of the trial division algorithm 36 4. Fermat’s factorization algorithm 37 5. Proof of Fermat’s algorithm 38 6. A fundamental property of primes 40 7. The Greeks and the irrational 41 8. Uniqueness of factorization 43 9. Exercises 45 Chapter 3. Prime numbers 49 1. Polynomial formulae 49 2. Exponential formulae: Mersenne numbers 51 ix X Contents 3. Exponential formulae: Fermat numbers 53 4. The primorial formula 54 5. Infinity of primes 55 6. The sieve of Erathostenes 57 7. Exercises 61 Chapter 4. Modular arithmetic 63 1. Equivalence relations 63 2. The congruence relation 66 3. Modular arithmetic 68 4. Divisibility criteria 71 5. Powers 72 6. Diophantine equations 73 7. Division modulo n 75 8. Exercises 77 Chapter 5. Induction and Fermat 79 1. Hanoi! Hanoi! 79 2. Finite induction 83 3. Fermat’s theorem 86 4. Counting roots 88 5. Exercises 92 Chapter 6. Pseudoprimes 95 1. Pseudoprimes 95 2. Carmichael numbers 97 3. Miller’s test 100 4. Primality testing and computer algebra 103 5. Exercises 104 Chapter 7. Systems of Congruences 107 1. Linear equations 107 2. An astronomical example 108 3. The Chinese remainder algorithm: Co-prime moduli 110 4. The Chinese remainder algorithm: General case 113 5. Powers, again 114 6. On sharing secrets 116 7. Exercises 118 Chapter 8. Groups 121 1. Definitions and examples 121 2. Symmetries 122 3. Interlude 126 4. Arithmetic groups 129 5. Subgroups 132 6. Cyclic subgroups 133 Contents xi 7. Finding subgroups 134 8. Lagrange’s theorem 136 9. Exercises 138 Chapter 9. Mersenne and Fermat 141 1. Mersenne numbers 141 2. Fermat numbers 143 3. Fermat, again 145 4. The Lucas-Lehmer test 146 5. Exercises 149 Chapter 10. Primality tests and primitive roots 151 1. Lucas’s test 151 2. Another primality test 154 3. Carmichael numbers 155 4. Preliminaries 156 5. Primitive roots 157 6. Computing orders 158 7. Exercises 160 Chapter 11. The RSA cryptosystem 163 1. On first and last things 163 2. Encryption and decryption 164 3. Why does it work? 166 4. Why is it secure? 167 5. Choosing the primes 168 6. Signatures 170 7. Exercises 171 Coda 175 Appendix. Roots and powers 179 1. Square roots 179 2. Power algorithm 180 Bibliography 183 Index of the main algorithms 189 Index of the main results 191 Index 192 Preface This book will take you on a journey whose final destination is the celebrated Rivest, Shamir, and Adleman (RSA) public key cryptosystem. But it will be a leisurely journey, with many stops to appreciate the scenery and contemplate sites of historical interest. In fact, the book is more concerned with mathematics than with cryptogra­ phy. Although the working of the RSA cryptosystem is described in detail, we will not be concerned with details of its implementation. Instead, we concen­ trate on the mathematical problems it poses, which are related to the factorization of integers, and to determining whether a given integer is prime or composite. These are, in fact, among the oldest questions in the area of mathematics known as number theory, which has been a wonderful source of very challenging prob­ lems since antiquity. Among the mathematicians that worked in the theory of numbers we find Euclid, Fermat, Euler, Lagrange, Legendre, Gauss, Riemann, and, in more recent times, Weil, Deligne, and Wiles. The way number theory is presented in this book differs in some important respects from the classical treatment of most older books. Thus we emphasize the algorithmic aspects everywhere, not forgetting to give complete mathematical proofs of all the algorithms that appear in the book. Of course number theory has been permeated by algorithms since the time of Euclid, but these had been, until very recently, somewhat out of fashion. We take the algorithmic approach very seriously. Hence, Euclid’s proof of the infinity of primes is preceded by a discussion of the primorial formula for primes, and the existence of primitive roots modulo a prime number is proved using the algorithm Gauss invented for computing the roots. Hence, this is really a book about algorithmic number theory and its appli­ cations to RSA cryptography. But, although the book has a very sharp focus, the presentation is by no means narrow. Indeed, we have not always followed the most direct path, but chosen instead the one that promised to throw most light onto the subject. Hence the introduction of groups, which allow us to give a unified treatment of several factorization methods and primality tests in Chap­ ters 9 and 10. Our excursion into group theory will take us as far as Lagrange’s theorem, and includes a discussion of groups of symmetry. This book grew out of lecture notes aimed at first-year students of computer science. Some of the features of the book are really a consequence of the poor xiii xiv Preface background knowledge of the students. Thus very little previous knowledge of mathematics is required. Indeed, we never use anything beyond geometrical progressions and the binomial theorem. Also, although the book is mainly con­ cerned with algorithms, no knowledge of programming is assumed. However, given the subject matter of the book, it is to be expected that many readers will be computer literate. Thus every chapter ends with some (optional) programming exercises that illustrate the algorithms presented in the text. Many of these are aimed at generating numerical data to be compared with some known conjecture or formula of number theory. Thus they are of the sort that is sometimes called a mathematical experiment. A comment on style: Books on mathematics are sometimes written as a dry sequence of definitions, theorems, and proofs. This style goes back to Euclid’s Elements, and it became the standard way to present mathematics in the late twentieth century. But we should not forget that this marmoreal style did not prevail even among the Greek mathematicians. Thus Archimedes tells his readers of his difficulties and wrong turns, and he even warns his readers against propositions that he used and then discovered to be false. In this book I prefer to follow Archimedes’ example rather than Euclid’s. This choice affected the style of the exposition in many respects. First, the historical comments are part of the text, and not isolated notes, and range from the origins of group theory to mere tales of eccentricity. Second, the algorithms are described as instructions in plain English, and I made no effort to optimize them, unless that would promote understanding. Five years of teaching this material have convinced me that this is no obstacle to programming the algorithms for those with the necessary background. Another characteristic of the book that should be mentioned is that the most important theorems and algorithms are referred to by name. Most of these names are classical, and have been used to identify the results for decades, even centuries. Where a name wasn’t already available I made one up. Some, like the primitive root theorem, will be immediately identified by those who are familiar with the subject; some may be harder to identify. Since this makes dipping in more difficult, I have provided a separate index of all the main theorems and algorithms, which also includes a short description of their content. The results that do not have special names are referred to by the chapter and section where they can be found.
Recommended publications
  • The EBRARY Platform
    One eContent platform. Many ways to use it. Subscribe, Purchase or Customize Share, Archive & Distribute Integrate THE EBRARY PLatFORM Our eContent Your eContent eBooks, reports, journals, Theses, dissertations, images, journals, sheet music, and more eBooks – anything in PDF Subscribe Purchase Customize Share Archive Distribute SULAIR Select Collections SUL EBRARY COLLECTIONS Select Collections TABLE OF CONTENTS Infotools All ebrary Collections CONTRIBUTORS Byron Hoyt Sheet Music (Browse) INTRODUCTION Immigration Commision Reports (Dillingham) Contents BUSINESS: A USER’S GUIDE Women and Child Wage Earners in the U.S. CSLI Linguistics and Philosophy BEST PRACTICE SUL Books in the Public Domain MANAGEMENT CHECKLISTS Medieval and Modern Thought Text Project ACTIONLISTS MANAGEMENT LIBRARY BUSINESS THINKERS AND MANA DICTIONARY WORLD BUSINESS ALMANAC Highlights Notes BUSINESS INFORMATION SOURC INDEX CREDITS InfoTools Integrates Define Explain Locate multiple online Translate Search Document... resources Search All Documents... Search Web Search Catalog with one Highlight Add to Bookshelf customizable Copy Text... Copy Bookmark interface. Print... Print Again Toggle Automenu Preferences... Help About ebrary Reader... EASY TO USE. Subscribe, Purchase AFFORDABLE. or Customize your ALW ay S AVAILABLE. eBook selection NO CHECK-OUTS. Un I Q U E S U B SC R I B E T O G R OWI ng E B O O K D ataba S E S W I T H SIMULtanEOUS, MULTI-USER ACCESS. RESEARCH TOOLS. ACADEMIC DATABASES Academic Complete includes all academic databases listed below. FREE MARCS. # of # of Subject Titles* Subject Titles* Business & Economics 6,300 Language, Literature 3,400 & Linguistics “ebrary’s content is Computers & IT 2,800 Law, International Relations 3,800 multidisciplinary and Education 2,300 & Public Policy Engineering & Technology 3,700 supports our expanding Life Sciences 2,000 (includes Biotechnolgy, History & Political Science 4,800 Agriculture, and (also includes a bonus selection faculty and curriculum.
    [Show full text]
  • Wavelets: a Primer
    Wavelets A Primer Wavelets A Primer Christian Blatter Departement Mathematik ETH Zentrum Zurich, Switzerland Boca Raton London New York CRC Press is an imprint of the Taylor & Francis Group, an informa business AN A K PETERS BOOK First published 1998 by Ak Peters, Ltd. Published 2018 by CRC Press Taylor & Francis Group 6000 Broken Sound Parkway NW, Suite 300 Boca Raton, FL 33487-2742 © 1998 by Taylor & Francis Group, LLC CRC Press is an imprint of Taylor & Francis Group, an Informa business No claim to original U.S. Government works ISBN 13: 978-1-56881-195-6 (pbk) ISBN 13: 978-1-56881-095-9 (hbk) This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. The authors and publishers have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders ifpermission to publish in this form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may rectify in any future reprint. Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmitted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying, microfilming, and recording, or in any information storage or retrieval system, without written permission from the publishers. For permission to photocopy or use material electronically from this work, please access www.
    [Show full text]
  • Taylor & Francis
    Taylor & Francis E-Book-Erwerbungsoptionen auf einen Blick Stand: Mai 2021 Plattform Taylor & Francis eBooks Imprints: AOCS Publishing - A K Peters/CRC Press - Apple Academic Press - Auerbach Publications - Blackwell - Burleigh Dodds Science Publishing - Birkbeck Law Press - Chapman and Hall - CRC Press - David Fulton Pulblishers - EPFL Press - Hakulyt Society - Informa Law from Routledge - Jennifer Stanford Publishing - Productivity Press - Psychology Press - RFF Press - RIBA Publishing - Routledge - Routledge India - Routledge-Cavendish - Spon Press- Taylor & Francis - Tecton NewMedia - UCL Press - Willan - W.W. Norton & Company Former Imprints: Ashgate -Focal Press - Elsevier - Landes Bioscience - Radcliff - Informa Healthcare - Pearson HE List/ Pearson (US) - Pearson - Nickel - Pyrczak - Speechmark - Earthscan - Acumen Publishing - Left Coast Press - Pickering & Chatto - Hodder Education - Longman - Garland - Routhledge Falmer - Brunner/Mazel - ME Sharp - Paradigm - Planners Press - Theatre Arts - Kegan Paul - Eye on Education - Transaction Publishing - St Jerome - Architectural Press - Harrington Park Press - GSER - Baywood - Bibliomotion - Westview Press - Karnac Books - Noordhof - Frank Cass - Accelerated Development - Brunner Routledge - James & James - Routledge Curca Flexible Angebotsformen für Ihre Bibliothek Einzeltitel Keine Mindestbestellmenge mehr. Pick & Choose Größere Bestellungen werden jedoch von den Verlagen bevorzugt. DRM-free-E-Books Wie gewohnt bietet Taylor & Francis weiterhin DRM-freie E-Books mit unlimitierten
    [Show full text]
  • CRC Press Catalogue 2020 July - December New and Forthcoming Titles
    TAYLOR & FRANCIS CRC Press Catalogue 2020 July - December New and Forthcoming Titles www.routledge.com Welcome THE EASY WAY TO ORDER Book orders should be addressed to the Welcome to the July - December 2020 CRC Press catalogue. Taylor & Francis Customer Services Department at Bookpoint, or the appropriate In this catalogue you will find new and forthcoming CRC Press titles overseas offices. publishing across all subject areas including Life Sciences, Engineering, Food and Nutrition, Environmental Sciences, Mathematics and Statistics, Physics and Material Sciences, Computer Science, Agriculture, Biomedicine and Forensics Science and Homeland Security. Contacts UK and Rest of World: Bookpoint Ltd We welcome your feedback on our publishing programme, so please do Tel: +44 (0) 1235 400524 not hesitate to get in touch – whether you want to read, write, review, Email: [email protected] adapt or buy, we want to hear from you, so please visit our website below USA: or please contact your local sales representative for more information. Taylor & Francis Tel: 800-634-7064 Email: [email protected] www.crcpress.com Asia: Taylor & Francis Asia Pacific Tel: +65 6508 2888 Email: [email protected] China: Taylor & Francis China Tel: +86 10 58452881 Prices are correct at time of going to press and may be subject to change without Email: [email protected] notice. Some titles within this catalogue may not be available in your region. India: Taylor & Francis India Tel: +91 (0) 11 43155100 Email: [email protected] eBooks Partnership Opportunities at We have over 50,000 eBooks available across the Routledge Humanities, Social Sciences, Behavioural Sciences, At Routledge we always look for innovative ways to Built Environment, STM and Law, from leading support and collaborate with our readers and the Imprints, including Routledge, Focal Press and organizations they represent.
    [Show full text]
  • Where to Find More Information About Computer Graphics and Related Topics
    Where to Find More Information about Computer Graphics and Related Topics Mike Bailey Oregon State University 1. References 1.1 General Computer Graphics SIGGRAPH Online Bibliography Database: http://www.siggraph.org/publications/bibliography Edward Angel and Dave Shreiner, Interactive Computer Graphics: A Top-down Approach with OpenGL, 6th Edition, Addison-Wesley, 2011. Francis Hill and Stephen Kelley, Computer Graphics Using OpenGL, 3rd Edition, Prentice Hall, 2006. Steve Cunningham, Computer Graphics: Programming in OpenGL for Visual Communication, Prentice- Hall, 2007 Alan Watt, 3D Computer Graphics, 3rd Edition, Addison-Wesley, 2000. Peter Shirley, Fundamentals of Computer Graphics, 2nd Edition, AK Peters, 2005. Andrew Glassner, Graphics Gems, Academic Press, 1990. James Arvo, Graphics Gems 2, Academic Press, 1991. David Kirk, Graphics Gems 3, Academic Press, 1992. Paul Heckbert, Graphics Gems 4, Academic Press, 1994. Alan Paeth, Graphics Gems 5, Academic Press, 1995. Jim Blinn, A Trip Down the Graphics Pipeline, Morgan Kaufmann, 1996. Jim Blinn, Dirty Pixels, Morgan Kaufmann, 1998. David Rogers, Procedural Elements for Computer Graphics, McGraw-Hill, 1997. SIGGRAPH Conference Final program. 1.2 Math and Geometry Michael Mortenseon, Geometric Transformations for 3D Modeling, 2nd Edition, Industrial press, 2007. Michael Mortenson, Geometric Modeling, John Wiley & Sons, 2006. Eric Lengyel, Mathematics for 3D Game Programming and Computer Graphics, Charles River Media, 1 2002. Jean Gallier, Curves and Surfaces in Geometric Modeling, Morgan Kaufmann, 2000. Walter Taylor, The Geometry of Computer Graphics, Wadsworth & Brooks/Cole, 1992. Gerald Farin, Curves and Surfaces for Computer Aided Geometric Design, 3rd Edition, Academic Press, 2001. Gerald Farin and Dianne Hansford, The Geometry Toolbox for Graphics and Modeling, AK Peters, 1998.
    [Show full text]
  • Where to Find More Information About Computer Graphics and Related Topics
    Where to Find More Information about Computer Graphics and Related Topics Mike Bailey Oregon State University 1. References 1.1 General Computer Graphics SIGGRAPH Online Bibliography Database: http://www.siggraph.org/publications/bibliography Edward Angel and Dave Shreiner, Interactive Computer Graphics: A Top-down Approach with OpenGL, 6th Edition, Addison-Wesley, 2011. 1.2 Math and Geometry Michael Mortenseon, Geometric Transformations for 3D Modeling, 2nd Edition, Industrial press, 2007. Gerald Farin, Curves and Surfaces for Computer Aided Geometric Design, 3rd Edition, Academic Press, 2001. Gerald Farin and Dianne Hansford, The Geometry Toolbox for Graphics and Modeling, AK Peters, 1998. 1.3 Shaders Mike Bailey and Steve Cunningham, Computer Graphics Shaders: Theory and Practice, Second Edition, CRC Press, 2012. Randi Rost, Bill Licea-Kane, Dan Ginsburg, John Kessenich, Barthold Lichtenbelt, Hugh Malan, and Mike Weiblen, OpenGL Shading Language, Addison-Wesley, 2009. (3rd Edition) Steve Upstill, The RenderMan Companion, Addison-Wesley, 1990. 1.4 Gaming http://gamedeveloper.texterity.com/gamedeveloper/fall2011cg#pg1 Jesse Schell, The Art of Game Design, Morgan-Kaufmann, 2008. David Hodgson, Bryan Stratten, and Alice Rush, Paid to Play: An Insider’s Guide to Video Game Careers, Prima, 2006. Alan Watt and Fabio Policarpo, Advanced Game Development with Programmable Graphics Hardware, AK Peters, 2005. Jacob Habgood and Mark Overmars, The Game Maker’s Apprentice, Apress, 2006. David Eberly, 3D Game Engine Design: A Practical Approach to Real-Time Computer Graphics, November 8, 2013 1 Morgan Kaufmann, 2006. Alan Watt and Fabio Policarpo, 3D Games: Real-time Rendering and Software Technology, Addison- Wesley, 2001. Eric Lengyel, Mathematics for 3D Game Programming and Computer Graphics, Charles River Media, 2002.
    [Show full text]
  • Where to Find More Information About Computer Graphics, Parallel Programming, and Related Topics
    Where to Find More Information about Computer Graphics, Parallel Programming, and Related Topics Mike Bailey Oregon State University 1. References 1.1 General Computer Graphics GraphBib: SIGGRAPH’s Online Bibliography Database: https://liinwww.ira.uka.de/bibliography/Graphics/siggraph/index.html John Kessenich, Graham Sellers, and Dave Shreiner, OpenGL Programming Guide, 9th Edition, 2017. Edward Angel and Dave Shreiner, Interactive Computer Graphics: A Top-down Approach with OpenGL, 6th Edition, Addison-Wesley, 2011. Francis Hill and Stephen Kelley, Computer Graphics Using OpenGL, 3rd Edition, Prentice Hall, 2006. Steve Cunningham, Computer Graphics: Programming in OpenGL for Visual Communication, Prentice- Hall, 2007 Alan Watt, 3D Computer Graphics, 3rd Edition, Addison-Wesley, 2000. Peter Shirley, Fundamentals of Computer Graphics, 2nd Edition, AK Peters, 2005. Andrew Glassner, Graphics Gems, Academic Press, 1990. James Arvo, Graphics Gems 2, Academic Press, 1991. David Kirk, Graphics Gems 3, Academic Press, 1992. Paul Heckbert, Graphics Gems 4, Academic Press, 1994. Alan Paeth, Graphics Gems 5, Academic Press, 1995. Jim Blinn, A Trip Down the Graphics Pipeline, Morgan Kaufmann, 1996. Jim Blinn, Dirty Pixels, Morgan Kaufmann, 1998. David Rogers, Procedural Elements for Computer Graphics, McGraw-Hill, 1997. SIGGRAPH Conference Final program. mjb – February 27, 2021 1 1.2 Vulkan http://cs.oregonstate.edu/~mjb/vulkan Graham Sellers, Vulkan Programming Guide, Addison-Wesley, 2017 Pawel Lapinski, Vulkan Cookbook, Packt, 2017. Kenwright, Introduction to Computer Graphics and the Vulkan API, 2017. 1.3 Math and Geometry Ron Goldman, An Integrated Introduction to Computer Graphics and Geometric Modeling, CRC Press, 2009. Michael Mortenseon, Geometric Transformations for 3D Modeling, 2nd Edition, Industrial press, 2007.
    [Show full text]
  • Visualizing the Performance of Scientific Applications Executing
    Visualizing the Performance of Scientific Applications Executing With Parareal Combined Space-Time Parallel Approach by Mengru Wang Bachelor of Electrical Engineering, Beijing Jiaotong University, 2011 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Masters of Computer Science In the Graduate Academic Unit of Computer Science Supervisor(s): Eric Aubanel, PhD, Faculty of Computer Science Andrew G. Gerber, PhD, Dept. of Mechanical Engineering Examining Board: Michael Fleming, PhD, Faculty of Computer Science Weichang Du, PhD, Faculty of Computer Science Andy Simoneau, PhD, Dept. of Mechanical Engineering This thesis is accepted Dean of Graduate Studies THE UNIVERSITY OF NEW BRUNSWICK September, 2016 c Mengru Wang, 2017 Abstract Recently, manycore and multicore based massively parallel processing architec- tures, led by GPUs and multicore CPUs, have become the powerful and cost- effective hardware trend in the high performance computing landscape. To in- corporate this processing power, various highly efficient parallel algorithms to exploit multilevel parallelism are being designed and developed. Among them, a novel combined space-time parallel approach that uses the parareal algorithm for time parallelization, demonstrates the possible multiplied speedup on top of that achieved with spatial parallelization. This approach is implemented in the EXN/Aero parallel Computational Fluid Dynamics (CFD) solution, developed by Envenio inc. and UNB CFD lab. Notably, the parareal performance with respect to the speedup and convergence when applied into the combined approach, is fur- ther complicated with the effects from the parallel spatial solver which hinders effective analysis. As a complementary tool to traditional experimental performance analysis with respect to speedup and convergence, in this thesis we propose a visual analysis ii platform, called EXN/Vizer, to help better understand and gain valuable in- sights into the parareal performance in search for potential optimization strate- gies.
    [Show full text]
  • Game Physics Pearls
    i i i i Game Physics Pearls i i i i i i i i Game Physics Pearls Edited by Gino van den Bergen and Dirk Gregorius A K Peters, Ltd. Natick, Massachusetts i i i i i i i i Editorial, Sales, and Customer Service Office A K Peters, Ltd. 5 Commonwealth Road, Suite 2C Natick, MA 01760 www.akpeters.com Copyright ⃝c 2010 by A K Peters, Ltd. All rights reserved. No part of the material protected by this copyright notice may be reproduced or utilized in any form, electronic or mechanical, including photo- copying, recording, or by any information storage and retrieval system, without written permission from the copyright owner. Background cover image ⃝c YKh, 2010. Used under license from Shutterstock.com. Library of Congress Cataloging-in-Publication Data Game physics pearls / edited by Gino van den Bergen and Dirk Gregorius. p. cm. ISBN 978-1-56881-474-2 (alk. paper) 1. Computer games–Programming. 2. Physics–Programming. I. Bergen, Gino van den. II. Gregorius, Dirk. QA76.76.C672G359 2010 794.8’1526–dc22 2010021721 Source code and demos that accompany this book will be made available at http://www.gamephysicspearls.com. Printed in the United States of America 14 13 12 11 10 10 9 8 7 6 5 4 3 2 1 i i i i i i i i Contents Foreword xi Preface xiii I Game Physics 101 1 1 Mathematical Background 3 1.1 Introduction . ....................... 3 1.2VectorsandPoints........................ 3 1.3LinesandPlanes........................ 8 1.4MatricesandTransformations................. 9 1.5Quaternions........................... 13 1.6Rigid-BodyDynamics..................... 15 1.7NumericalIntegration.....................
    [Show full text]
  • List of Imprints of Publisher Members of STM Revised March 2016
    List of Imprints of Publisher Members of STM revised March 2016 Publisher to Imprint Imprint to Publisher Publisher Imprint & Former imprints Imprint & Former imprints Publisher Adis (Part of Springer) Adis International A K Peters Ltd Taylor & Francis Adis Press Ltd AAAS American Association for the Advancement of Science American Association for the Advancement of Science AAAS Ablex Publishing Elsevier Science (Magazine) Ablex Publishing Corporation Elsevier American Chemical Society ACS Academic Cell Elsevier Chemical Abstracts Service Academic Press Elsevier American Chemical Society Accelerated Developments Inc Taylor & Francis CAS ACM Association of Computing Machinery, Inc. AIP Publishing LLC AIP ACS American Chemical Society American Institute of Physics Publishing Adam Hilger Institute of Physics AIP Publishing LLC Adam Matthew Digital SAGE Publications American Institute of Physics Adam Matthew Education SAGE Publications American Medical Association AMA Adis International Adis (Part of Springer) American Physical Society APS Adis Press Ltd Adis (Part of Springer) American Physical Society Aerzte Woche Springer Science & Business Media APS Journals Aerzteverlag Deutscher Aerzte-Verlag GMBH Physical Review Africa Research Ltd John Wiley & Sons Physical Review Letters AIP AIP Publishing LLC Physical Review Online Archive AIP Publishing LLC AIP Publishing LLC Physical Review X AJCC Cancer Staging Springer Science & Business Media Reviews of Modern Physics AK Peters Taylor & Francis American Psychological Association APA Alan R
    [Show full text]
  • Efficient Mission Planning for Robot Networks in Communication Constrained Environments Md Mahbubur Rahman [email protected]
    Florida International University FIU Digital Commons FIU Electronic Theses and Dissertations University Graduate School 6-6-2017 Efficient Mission Planning for Robot Networks in Communication Constrained Environments md mahbubur rahman [email protected] DOI: 10.25148/etd.FIDC001910 Follow this and additional works at: https://digitalcommons.fiu.edu/etd Part of the Artificial Intelligence and Robotics Commons Recommended Citation rahman, md mahbubur, "Efficient Mission Planning for Robot Networks in Communication Constrained Environments" (2017). FIU Electronic Theses and Dissertations. 3484. https://digitalcommons.fiu.edu/etd/3484 This work is brought to you for free and open access by the University Graduate School at FIU Digital Commons. It has been accepted for inclusion in FIU Electronic Theses and Dissertations by an authorized administrator of FIU Digital Commons. For more information, please contact [email protected]. FLORIDA INTERNATIONAL UNIVERSITY Miami, Florida EFFICIENT MISSION PLANNING FOR ROBOT NETWORKS IN COMMUNICATION CONSTRAINED ENVIRONMENTS A dissertation submitted in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY in COMPUTER SCIENCE by Md Mahbubur Rahman 2017 To: Interim Dean Ranu Jung College of Engineering and Computing This dissertation, written by Md Mahbubur Rahman, and entitled Efficient Mission Planning for Robot Networks in Communication Constrained Environments, having been approved in respect to style and intellectual content, is referred to you for judgment. We have read this dissertation and recommend that it be approved. Bogdan Carbunar Ning Xie Wei Zeng Ali Mostafavi Leonardo Bobadilla, Major Professor Date of Defense: June 06, 2017 The dissertation of Md Mahbubur Rahman is approved. Interim Dean Ranu Jung College of Engineering and Computing Andr´es G.
    [Show full text]
  • Differentiate and Deliver: Leveraging Your Partners (CEO Panel)
    DAC05, page 1 Differentiate and Deliver: Leveraging Your Partners (CEO Panel) Chair: Jay Vleeschhouwer - Merrill Lynch Speakers: Warren East - ARM Holdings, plc, Cambridge, UK Michael J. Fister - Cadence Design Systems, Inc., San Jose, CA Aart De Geus - Synopsys, Inc., Mountain View, CA Walden C. Rhines - Mentor Graphics Corp., Wilsonville, OR Jackson Hu - UMC Corp., Hsinchu, Taiwan Rick Cassidy - TSMC, San Jose, CA Abstract For the past 25 years, the EDA industry has played a major role in the growth of the semiconductor industry, providing tools and services that have helped companies develop electronics products that permeate and improve every aspect of our daily lives. As the semiconductor industry moves into the nanometer era, they face many key questions when envisioning a new product. When do they want the product to reach the market? How will that product be differentiated? Where do they develop and manufacture that product? Less than a decade ago, these questions would have been answered completely independent of whatever EDA vendor a semiconductor company selected. However, in the nanometer era, the answers to these questions can be significantly influenced not only by EDA companies but also by the IP and pure-play foundries that make up the infrastructure of the semiconductor industry. In order to compete in a global marketplace, these companies must align their individual core competencies with those of the semiconductor industry to help IC companies create products with the optimal combination of performance, price, and time-to-market. In this panel, the CEOs of the three major EDA vendors, along with peers from the IP and manufacturing areas discuss these fundamental changes to the semiconductor industry, and the challenges of working together to help customers successfully bring new products to market.
    [Show full text]