Symbolic mathematical computation-Reference-Cited by-同舟云学术

Symbolic mathematical computation

Published:1985-04 Issue:4 Volume:28 Page:390-394
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Wolfram Stephen¹

Affiliation:

1. The Institute for Advanced Study, Princeton, NJ

Abstract

Standard programming languages are inadequate for the kind of symbolic mathematical computations that theoretical physicists need to perform. Higher mathematics systems like SMP address this problem.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

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

Reference11 articles.

1. Brown. W.S. Altran user's manual. Rep. Bell Laboratories 1977. Brown. W.S. Altran user's manual. Rep. Bell Laboratories 1977.

2. Fitch. J.P. CAMAL user's manual. Computing Service. Univ. of Cambridge. United Kingdom. 1975. Fitch. J.P. CAMAL user's manual. Computing Service. Univ. of Cambridge. United Kingdom. 1975.

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

1. Usage of Regular Features of Partially Defined Functional Neural Networks to Find a Solution;Automatic Documentation and Mathematical Linguistics;2024-04

2. Visual Analysis of Hyperproperties for Understanding Model Checking Results;IEEE Transactions on Visualization and Computer Graphics;2022-01

3. A new symbolic-based continuous (infinite) modal approach for systems control and operation using computational mathematics;Ain Shams Engineering Journal;2020-09

4. Generic symbolic parameters varying systems frameworks versus other techniques: Returning back to the roots;Alexandria Engineering Journal;2018-12

5. Derivation of symbolic-based embedded feedback control stabilization expressions with experimentation;Journal of Electrical Systems and Information Technology;2018-12