Abstract
I am interested in symbolic computation for theoretical research in algebraic topology. Most algebraic computations in topology are hand calculations; that is, they can be accomplished by the researcher in times ranging from hours to weeks, and they are aimed at discovering general patterns rather than producing specific formulas understood in advance. Furthermore, the range of algebraic constucts used in such calculations is very wide.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. K. Abdali, G. W. Cherry, and N. Soiffer, A Smalltalk System for Algebraic Manipulation ,OOPSLA ’86 Conference Proceedings, SIGPLAN Notices, Vol. 21 No. 11, Association for Computing Machinery, Nov. 1968, pp. 277–283.
M. Arbib and E. Manes, Arrows, Structures, and Functors, Academic Press, New York, 1975.
H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1, Springer Verlag, Berlin, Heidelberg, 1985.
J. A. Goguen and J. Meseguer, Order-Sorted Algebra I ,draft manuscript, May 1988.
R. Jenks, R Sutor, and Stephen Watt, Scratchpad II: an abstract datatype system for mathematical computation ,Mathematical Aspects of Scientific Software, The IMA Volumes in Mathematics and its Applications 14, Springer Verlag, 1988, pp. 157–182.
F. Pfenning, Partial Polymorphic Type Inference and Higher-Order Unification ,Proc. of 1988 ACM Conf. on Lisp and Functional Programming, Association for Computing Machinery, 1988, pp. 153–163.
D. Rydeheard and R. Burstall, Computational Category Theory, Prentice Hall, New York, 1988.
R. S. Sutor and R. D. Jenks, The type inference and coercion facilities in the Scratchpad II interpreter ,Proc. SIGPLAN 87 Symp. on Interpreters and Interpretive Techniques, SIGPLAN Notices, 22,7 pp. 56–63.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag New York Inc.
About this paper
Cite this paper
Rector, D.L. (1989). Semantics in Algebraic Computation. In: Kaltofen, E., Watt, S.M. (eds) Computers and Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9647-5_34
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9647-5_34
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97019-6
Online ISBN: 978-1-4613-9647-5
eBook Packages: Springer Book Archive