Symbolic automatic integrator

mathematics, tool
(SAINT) A symbolic mathematics program written in Lisp by J. Slagle at MIT in 1961.
[Sammet 1969, p. 410].


Read Also:

  • Symbolic-code

    noun, Computers. 1. pseudo-code. noun, Computers. 1. a program code unrelated to the hardware of a particular computer and requiring conversion to the code used by the computer before the program can be used.

  • Symbolic inference

    The derivation of new facts from known facts and inference rules. This is one of the fundamental operations of artificial intelligence and logic programming languages like Prolog. Inference is a basic part of human reasoning. For example given that all men are mortal and that Socrates is a man, it is a trivial step to […]

  • Symbolic-interactionism

    noun, Sociology. 1. a theory that human interaction and communication is facilitated by words, gestures, and other symbols that have acquired conventionalized meanings.

  • Symbolic-language

    noun 1. a specialized language dependent upon the use of symbols for communication and created for the purpose of achieving greater exactitude, as in symbolic logic or mathematics.

Disclaimer: Symbolic automatic integrator definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.