Skip to main content
SpringerLink
Log in

An interactive system SDI on microcomputer

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

SDI is an interactive system, based on PASCAL, for Symbolic Differentiation and Integration computation. It runs on an IBM-PC. Both input and output are symbolic mathematical expressions. It can manipulate symbolic differentiation, symbolic integration, and algebraic simplification, etc. The language and implementation of SDI will be presented in this paper.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A.V. Aho,et al., The Design and Analysis of Computer Algorithms, pp. 300–303. Addison-Wesly Publishing Company, Reading, Mass., 1974.

    MATH  Google Scholar 

  2. B.F. Caviness, Notes on Algorithms for Indefinite Integration and for Solving Differential Equation in Closed Form, Ann Arbor, Aug. 1980.

  3. S.J. Harrington, A new symbolic integration system in reduce,Computer J. 22:2 (1979), 127–131.

    Article  MATH  Google Scholar 

  4. J. Moses, Symbolic integration, Doctoral Dissertion, MIT, 1967.

  5. J. Moses, Symbolic integration: the stormy decade,Comm. ACM 14:8 (1971), 548–560.

    Article  MATH  MathSciNet  Google Scholar 

  6. Ren Zhaoyang, Zhong Renbao, A PASCAL based subsystem simplifying mathematical expressions, Proc. of the Fifth Symposium on Artificial Intelligence of All Chinese Universities, Xi'an, May 1984.

  7. M. Rothstein, Aspects of symbolic integration and simplification of exponential and primitive functions, Doctoral Dissertation, Univ. of Wisconsin-Madison, 1976.

  8. Xing Ling, Zhong Renbao, Design and implementation of symbolic differentiation, Mini-Micro Systems, 1 (1985), 16–19.

    Google Scholar 

  9. D.Y.Y. Yun, On square-free decomposition algorithms, Proc. of the 1976 ACM Symposium on Symbolic and Algebraic Computation, 26–35.

  10. Zhong Renbao, On the key factors of design and implementation of computer algebra system,Journal of Central South Institute of Mining and Metallurgy,2 (1982), 31–36.

    Google Scholar 

  11. Zhong Renbao, On algorithms of indefinite integration for rational function,Chinese Journal of Computers,6: 6 (1983), 438–445.

    MathSciNet  Google Scholar 

  12. Zhong Renbao, Xing Ling, Computer output of two dimensional notation for mathematical expressions,Journal of Artificial Intelligence (in Chinese),1 (1984), 144–151.

    Google Scholar 

  13. Zhong Renbao, The Lecture on Computer Algebra, The Central South Institute of Mining and Metallurgy Press. Nov. 1981.

  14. Zhong Renbao, An algorithm for avoiding complex number in rational function integration,ACM-SIGSAM Bulletin,16:3 (1982), 30–32.

    Article  MATH  Google Scholar 

  15. Zhong Renbao, Ma Ruifang, Li Zhichong, Computing expressions with indefinite precision, Proc. of the Sixth Symposium on Artificial Intelligence of All Chinese Universities, South-West University of Jiaotong, Emei, Sichuan, May, 1985.

Download references

Author information

Authors and Affiliations

  1. Central South University of Technology, Changsha

    Zhong Renbao, Xing Lin & Ren Zhaoyang

Authors
  1. Zhong Renbao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xing Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ren Zhaoyang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Project Supported by the Science Fund of Academia Sinica

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhong, R., Xing, L. & Ren, Z. An interactive system SDI on microcomputer. J. of Comput. Sci. & Technol. 2, 64–71 (1987). https://doi.org/10.1007/BF02943318

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943318

Keywords

Search

Navigation