Logic (both Classical and Non-Classical) is being increasingly related with other fields in almost every scientific discipline and human activity. In this volume we have emphasized its role in the following fields of science: Artificial Intelligence, Robotics, Informatics in general, Technology, and correlated themes. The papers are written by some of the most prominent scientists of today I. Arithmetic and number theory in C -- 1. Introduction -- 2. Number formats : the representation of large numbers in C -- 3. Interface semantics -- 4. The fundamental operations -- 5. Modular arithmetic : calculating with residue classes -- 6. Where all roads meet : modular exponentiation -- 7. Bitwise and logical functions -- 8. Input, output, assignment, conversion -- 9. Dynamic registers -- 10. Basic number-theoretic functions -- 11. Rijndael : a successor to the data encryption standard -- 12. Large random numbers -- 13. Strategies for testing LINT -- II. Arithmetic in C++ with the class LINT -- 14. Let C++ simplify your life -- 15. The LINTPublic interface : members and friends -- 16. Error handling -- 17. An application example : the RSA cryptosystem -- 18. Do it yourself : test LINT -- 19. Approaches for further extensions -- III. Appendices
Author(s): Michael Welschenbach
Edition: 2ed.
Publisher: Apress
Year: 2005
Language: English
Pages: 504