Spreadsheet computations in computer algebra

ABSTRACT

In this paper, we analyze the concept of spreadsheet computing in computer algebra. Numerical spreadsheet programs have a unique, intuitively clear semantics. But when the variables used in a spreadsheet program are allowed to assume symbolic expressions as values, the meaning of spreadsheet computations is not defined that simply. We consider several alternative models for what spreadsheet computations could mean in the symbolic context. We describe the implementation of spreadsheet features, based on one of these models, in the visual computer algebra environment MathScribe.

REFERENCES

• 1: {Cha85} Char, B. W., Geddes, K. O. &amp; Gonnet, G. H.: <i>Maple Reference Manual, 4th edition</i>, WATCOM Publications, Waterloo, Ontario, Canada (1985).
• 2: {Fyl80} Fylstra, D., Kling, B.: <i>VisiCalc Instantly Calculating 'Electronic Worksheet' User's Guide</i>, VisiCorp Personal Software, San Jose, CA (1980).
• 3: Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
• 4: {Hea85} Hearn, A. C.: <i>REDUCE User's Manual, Version 3.2</i>, Rand Publication CP-78 (April 1985).
• 5: {HuOp80} Huet, G. &amp; Oppen, D. C.: Equations and rewrite rules: A survey, in <i>Formal Languages: Perspectives and Open Problems</i> (ed. Book, R.), Academic Press, New York (1980).
• 6: {KoJa84} Konopasek, M. &amp; Jayaram, S.: <i>The TK!Solver Book</i>, Osborne/McGraw-Hill, Berkeley, CA (1984).
• 7: W. J. Leler, Specification and generation of constraint satisfaction systems, University of North Carolina at Chapel Hill, Chapel Hill, NC, 1987
• 8: {Mac83} <i>Macsyma Reference Manual</i>, The MathLab Group, Laboratory for Computer Science, MIT (January 1983).
• 9: Zohar Manna, Introduction to Mathematical Theory of Computation, McGraw-Hill, Inc., New York, NY, 1974
• 10: {Math86} <i>MathCAD User's Guide</i>, MathSoft, Inc., Cambridge, MA (1986).
• 11: {Men84} Mendenhall, C. M. &amp; Whitehouse, G. E.: Electronic spreadsheets ease microcomputer use for IEs, <i>Indust. Engg., 16</i>, #9 (Sept. 1984), pp. 22--26.
• 12: C. J. Smith , N. Soiffer, MathScribe: a user interface for computer algebra systems, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.7-12, July 21-23, 1986, Waterloo, Ontario, Canada [doi>10.1145/32439.32441]
• 13: Richard M. Reese, Simulation programming using spreadsheet software, Proceedings of the 16th conference on Winter simulation, p.538-542, December 28-30, 1984, Dallas, TX

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS

Additional Classification:
  G. Mathematics of Computing

  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.1 Office Automation
          Subjects: Spreadsheets

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

General Terms:
Performance, Theory