Applications of Symbolic Mathematics to Mathematics
Some of the most interesting applications of symbolic mathematics are in mathematics itself. Areas of both pure and applied mathematics, including coding theory, cryptography, probability theory, analysis, combinatorics, and number theory, have all gained from the availability of the new symbolic manipulation tools. These tools have been used to prove a number of results directly. Their main application, however, has been to obtain insight into behavior of various mathematical objects, which then led to conventional proofs being constructed.
KeywordsComputer Algebra Number Field Computer Algebra System Discrete Logarithm Finite Simple Group
Unable to display preview. Download preview PDF.
- W. S. Brown, ALTRAN User’s Manual, 4th ed., Bell Laboratories 1977.Google Scholar
- C. A. Cole, S. Wolfram, et ah, SMP-Handbook, Caltech 1981.Google Scholar
- K. O. Geddes, G. H. Gonnet, and B. W. Char, MAPLE User’s Manual, Univ. of Waterloo, 1983.Google Scholar
- MATHLAB Group; MACSYMA Reference Manual, MIT Laboratory for Computer Service 1977.Google Scholar
- A. M. Odlyzko, Cryptanalytic attacks on the multiplicative knapsack cryptosystem and on Shamir’s signature scheme, IEEE Trans. Inform. Theory IT-30 (1984), 594–600.Google Scholar
- A. M. Odlyzko, Discrete logarithms in finite fields and their cryptographic significance, Proc. Eurocrypt 84, Springer Lecture Notes in Computer Science, to appear.Google Scholar