Abstract
Present computer algebra systems base their interactive sessions on a very simple model of mathematical discourse. The user's input to the system is a line containing a mathematical expression (an operation, a formula, a set of equations, etc) and the system's response to the user is an output line which contains a mathematical expression similar to the input. There are many situations, however, in which this is too simple a model of mathematics. Algebra systems should be allowed to reply 'Well ... it isn't quite that simple'.
Keywords
Simple (philosophy)Set (abstract data type)Expression (computer science)Line (geometry)Computer scienceAlgebra over a fieldCalculus (dental)MathematicsPure mathematicsProgramming languageGeometry
Affiliated Institutions
Related Publications
Asymptotics for Linear Processes
A method of deriving asymptotics for linear processes is introduced which uses an explicit algebraic decomposition of the linear filter. The technique is closely related to Gord...
The Statistical Analysis of Time Series.
The Wiley Classics Library consists of selected books that have become recognized classics in their respective fields. With these new unabridged and inexpensive editions, Wiley ...
On Spaces of Piecewise Polynomials in Two Variables
Racialized or ethnically marginalized groups typically have strong loyalties to particular political parties, but can these group loyalties be undermined? In this paper, I inves...
The Brownian Motion of Strings and Elastic Rods
The method introduced by Ornstein is applied to calculate the Brownian-motion mean-square deviation for strings and for elastic rods, the surrounding medium being a gas. For the...
A Problem in Brownian Motion
Gerlach investigated the rotatorial Brownian motion of a small mirror suspended on a fine wire. It follows from the theorem of equipartition that the average square deviation of...
Publication Info
- Year
- 1992
- Type
- article
- Volume
- 26
- Issue
- 3
- Pages
- 2-6
- Citations
- 28
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
28
OpenAlex
Cite This
Robert M. Corless,
David J. Jeffrey
(1992).
Well … it isn't quite that simple.
ACM SIGSAM Bulletin
, 26
(3)
, 2-6.
https://doi.org/10.1145/141897.141901
Identifiers
- DOI
- 10.1145/141897.141901