Some symbolic computing links to the NAG numeric library

ABSTRACT

This article is a semi-popular account intended to help readers compare the three products, SENAC, InterCall and IRENA. Each of the three is in the genre specified in the title of this paper. This article is not a review, as the authors are too closely associated with individual products. For technical detail, see the references below, which, however, treat individual products and generally provide no comparisons.

REFERENCES

• 1: Broughan, K. A. A symbolic numeric interface for the NAG library, <i>Newsletter of the Numerical Algorithms Group</i>, (August 1986), 16--24.
• 2: Broughan, K. A. Naglink - a working symbolic/numeric interface. In <i>IFIP TC 2/W.G.2.5 Working Conference on Problem Solving Environments for Scientific Computing</i>, B. Ford and F. Chatelin Eds. Elsevier, Amsterdam, (1987), 343--350.
• 3: Broughan, K. A. Interactive Access to subroutine libraries: an interlink for SENAC. In <i>Proceedings of the International Conference on Compuational Techniques and Applications, CTAC-89</i>, J. Horvath, Ed. Hemisphere, Washington, (1990).
• 4: Kevin A. Broughan, SENAC: a high-level interface for the NAG library, ACM Transactions on Mathematical Software (TOMS), v.17 n.4, p.462-480, Dec. 1991 [doi>10.1145/210232.210236]
• 5: Broughan, K. A. Symbolic numeric software system SENAC launched, <i>NAG Newsletter.</i> (To appear, 1991).
• 6: W. C. Schou , K. A. Broughan, The risch algorithms of MACSYMA and SENAC, ACM SIGSAM Bulletin, v.23 n.3, p.19-22, July 1989 [doi>10.1145/74646.74649]
• 7: Davenport, J. H., Dewar, M. C. and Richardson, M. G. Symbolic and numeric computation: the example of IRENA. <i>Proceedings of the Sartoga Springs Workshop, 1990</i> (To appear, 1991).
• 8: Michael C. Dewar , M. G. Richardson, Reconciling Symbolic and Numeric Computation in a Practical Setting, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.195-204, April 10-12, 1990
• 9: Michael C. Dewar, Interfacing algebraic and numeric computation, University of Bath, Bath, UK, 1992
• 10: Michael C. Dewar , M. G. Richardson, Reconciling Symbolic and Numeric Computation in a Practical Setting, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.195-204, April 10-12, 1990
• 11: Barbara L. Gates, Gentran: an automatic code generation facility for REDUCE, ACM SIGSAM Bulletin, v.19 n.3, p.24-42, August 1985 [doi>10.1145/1089411.1089415]
• 12: Barbara L. Gates, A numerical code generation facility for REDUCE, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.94-99, July 21-23, 1986, Waterloo, Ontario, Canada [doi>10.1145/32439.32459]
• 13: Gates, B. L. <i>The GENTRAN User's Manual: REDUCE Version.</i> (The RAND Corporation: 1987).
• 14: Kant, E., Daube, F., MacGregor, W. and Wald, J. MathCode: a code generation package for Mathematica. <i>Report, Schlumberger Laboratory for Computer Science, Austin, Texas, U.S.A..</i> (Draft: 23/9/1990).
• 15: Keady, G. The SENAC Mathematical Software from Waikato. <i>New Zealand Mathematical Society Newsletter</i>, <b>46</b> (1989a), 11--15.
• 16: Keady, G. The torsion problem in a lens: a case-study in symbolic-numeric computation using SENAC. <i>University of Waikato Department of Mathematics and Statistics, Research Report</i> No. 191, (1989b).
• 17: Keady, G. SENAC: more than symbolic computing. <i>SIAM News</i>, (July 1990), 22--23.
• 18: Keady, G. SENAC and other symbolic front-ends for subsequent numeric computation: nonlinear systems and optimisation case studies. Parts I to IV. <i>University of Waikato Department of Mathematics and Statistics, Research Reports</i>, (1991).
• 19: Vivek Khera , Henry Greenside, An interface for accessing external numerical libraries, The Mathematica Journal, v.1 n.2, p.84-88, Fall 1990
• 20: Punjani, M. and Broughan, K. A. SENAC - Computer Based Algebra and NAG, <i>ULCC News</i> <b>247</b>, (1990), 12--15.
• 21: Richardson, M. G. The IRENA Project. <i>NAG Newsletter</i> <b>1</b> (1990).
• 22: Robb, T. D. <i>InterCall Manual.</i> (1991).
• 23: J. A. van Hulzen , B. J. Hulshof , B. L. Gates , M. C. van Heerwaarden, A code optimization package for REDUCE, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, p.163-170, July 17-19, 1989, Portland, Oregon, United States [doi>10.1145/74540.74561]

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Software libraries

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

General Terms:
Performance