SYMBOLANG
Lapidus & Goldstein, 1965. Symbol manipulating Fortran subroutine package for
IBM 7094, later CDC6600.
["Some Experiments in Algebraic Manipulation", CACM 8:501-508 1965].
(1995-03-16)
Nearby terms:
Symantec « SYMBAL « SymbMath « SYMBOLANG »
Symbolic Assembler Program » SYMBOLIC ASSEMBLY »
Symbolic Automatic INTegrator
Symbolic Assembler Program
<language> (SAP) The assembly language for the IBM 704, defined in the
late 1950s.
(1994-12-12)
Nearby terms:
SYMBAL « SymbMath « SYMBOLANG « Symbolic
Assembler Program » SYMBOLIC ASSEMBLY » Symbolic
Automatic INTegrator » symbolic inference
SYMBOLIC ASSEMBLY
<language> An early system on the IBM 705.
[Listed in CACM 2(5):16, May 1959].
(1996-01-15)
Nearby terms:
SymbMath « SYMBOLANG « Symbolic Assembler Program «
SYMBOLIC ASSEMBLY » Symbolic Automatic
INTegrator » symbolic inference » Symbolic Link
Symbolic Automatic INTegrator
<mathematics, tool> (SAINT) A symbolic mathematics program written in
Lisp by J. Slagle at MIT in 1961.
[Sammet 1969, p. 410].
(1994-12-08)
Nearby terms:
SYMBOLANG « Symbolic Assembler Program « SYMBOLIC
ASSEMBLY «
Symbolic Automatic INTegrator » symbolic
inference » Symbolic Link » symbolic link
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 infer that Socrates
is mortal. We might express these symbolically:
man(X) => mortal(X).
man(socrates).
("if X is a man then X is mortal" and "Socrates is a man"). Here, "man",
"mortal" and "socrates" are just arbitrary symbols
which the computer manipulates without reference to
or knowledge of their external meaning. A forward
chaining system (a production system) could use
these to infer the new fact
mortal(socrates).
simply by matching the left-hand-side of the implication against the fact
and substituting socrates for the variable X.
(1994-10-28)
Nearby terms:
Symbolic Assembler Program « SYMBOLIC ASSEMBLY «
Symbolic Automatic INTegrator « symbolic
inference » Symbolic Link » symbolic link »
symbolic logic
Symbolic Link
<file format> (SYLK) A Microsoft file format for spreadsheets, (not to be
confused with symbolic link).
SYLK format existed in one form or another in as early as 1987, and was part of
Excel v1.0. It is is an outgrowth of VisiCalc DIF file format.
SYLK format is ascii text and represents information about both formula, value,
and some formatting information, which makes it something like an RTF for
spreadsheets. It is used as a general tabular data exchange format.
http://netghost.narod.ru/gff/graphics/summary/micsylk.htm.
[Reference?]
(2004-04-08)
Nearby terms:
SYMBOLIC ASSEMBLY « Symbolic Automatic INTegrator «
symbolic inference « Symbolic Link » symbolic
link » symbolic logic » Symbolic Mathematical
Laboratory
symbolic link
<file system> (Or "symlink", "soft link" (by contrast with "hard link"),
"shortcut", "alias") A special type of Unix file which refers to another file by
its pathname. A symbolic link is created with the "ln" (link) command:
ln -s OLDNAME NEWNAME
Where OLDNAME is the target of the link (usually a pathname) and NEWNAME
is the pathname of the link itself.
Most operations (open, read, write) on the symbolic link automatically
dereference it and operate on its target (OLDNAME). Some operations (e.g.
removing) work on the link itself (NEWNAME).
In contrast with hard links, there are no restrictions on where a symbolic link
can point, it can refer to a file on another file system, to itself or to a file
which does not even exist (e.g. when the target of the symlink is removed). Such
problems will only be detected when the link is accessed.
(1997-10-22)
Nearby terms:
Symbolic Automatic INTegrator « symbolic inference «
Symbolic Link « symbolic link » symbolic
logic » Symbolic Mathematical Laboratory » symbolic
mathematics
symbolic logic
<logic> The discipline that treats formal logic by means of a formalised
artificial language or symbolic calculus, whose purpose is to avoid the
ambiguities and logical inadequacies of natural language.
(1995-12-24)
Nearby terms:
symbolic inference « Symbolic Link « symbolic link «
symbolic logic » Symbolic Mathematical
Laboratory » symbolic mathematics » Symbolic Optimal
Assembly Program
Symbolic Mathematical Laboratory
<tool, mathematics> An on-line system under CTSS for symbolic
mathematics. It used a display screen and a light pen.
[Sammet 1969, p.514].
(1995-04-16)
Nearby terms:
Symbolic Link « symbolic link « symbolic logic «
Symbolic Mathematical Laboratory » symbolic
mathematics » Symbolic Optimal Assembly Program »
Symbolics, Inc.
symbolic mathematics
<mathematics, application> (Or "symbolic math") The use of computers to
manipulate mathematical equations and expressions in symbolic form, as opposed
to manipulating the numerical quantities represented by those symbols. Such a
system might be used for symbolic integration or differentiation, substitution
of one expression into another, simplification of an expression, change of
subject etc.
One of the best known symbolic mathematics software packages is Mathematica.
Others include ALAM, ALGY, AMP, Ashmedai, AXIOM*, CAMAL, CAYLEY, CCalc, CLAM,
CoCoA(?), ESP, FLAP, FORM, FORMAL, Formula ALGOL, GAP, JACAL, LiE, Macaulay,
MACSYMA, Magic Paper, MAO, Maple, Mathcad, MATHLAB, MuMath, Nother, ORTHOCARTAN,
Pari, REDUCE, SAC-1, SAC2, SAINT, Schoonschip, Scratchpad I, SHEEP, STENSOR,
SYMBAL, SymbMath, Symbolic Mathematical Laboratory, TRIGMAN, UBASIC.
Usenet newsgropup: sci.math.symbolic.
(1995-04-12)
Nearby terms:
symbolic link « symbolic logic « Symbolic
Mathematical Laboratory « symbolic mathematics
» Symbolic Optimal Assembly Program » Symbolics,
Inc. » Symbol Manipulation Program
Symbolic Optimal Assembly Program
<language> (SOAP) The IBM 650's assembly language. "Optimal" refers to
rearranging instructions on slowly rotating drum memory.
Versions: SOAP I, SOAP II, CASE SOAP III.
[Listed in CACM 2(5):16, May 1959].
(1994-11-04)
Nearby terms:
symbolic logic « Symbolic Mathematical Laboratory «
symbolic mathematics « Symbolic Optimal Assembly
Program » Symbolics, Inc. » Symbol Manipulation
Program » symlink
Symbolics, Inc.
<company> The company which produced the Lisp Machine.
The Symbolics Museum.
[Summary?]
(2003-11-24)
Nearby terms:
Symbolic Mathematical Laboratory « symbolic
mathematics « Symbolic Optimal Assembly Program «
Symbolics, Inc. » Symbol Manipulation Program »
symlink » symmetric
Symbol Manipulation Program
(SMP) Steven Wolfram's earlier symbol manipulation program, before he turned to
Mathematica.
["SMP Handbook", C. Cole, S. Wolfram et al, Caltech 1981].
(1995-01-29)
Nearby terms:
symbolic mathematics « Symbolic Optimal Assembly
Program « Symbolics, Inc. « Symbol Manipulation
Program » symlink » symmetric » symmetric key
cryptography
|