Survey of formula manipulation-Reference-Cited by-同舟云学术

Survey of formula manipulation

Published:1966-08 Issue:8 Volume:9 Page:555-569
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Sammet Jean E.¹

Affiliation:

1. IBM Corp., Cambridge, MA

Abstract

The field of formula manipulation is surveyed, with particular attention to the specific capabilities of differentiation, integration and the supporting capabilities of simplification, displays and input/output editing, and precision arithmetic. General systems—both batch and online—are described. Finally, some programs to solve specific applications are discussed.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/365758.365762

Reference89 articles.

1. AED-0 user kit. MIT Cambridge Mass. AED-0 user kit. MIT Cambridge Mass.

2. AUTOMAST: automatic mathematical analysis and symbolic translation

3. Wengert's numerical method for partial derivatives, orbit determination and quasilinearization

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Context-aware conversational developer assistants;Proceedings of the 40th International Conference on Software Engineering;2018-05-27

2. Computer Algebra: from the Visible to the Invisible;General Relativity and Gravitation;2006-03-15

3. Applications of SHEEP in General Relativity;Computer Physics Communications;1998-12

4. Regular expression simplification;Mathematics and Computers in Simulation;1998-01

5. The beginning and development of FORMAC;History of programming languages---II;1996-01