SYMbolic ALgebra. A symbolic mathematics language with ALGOL-like syntax by Max Engeli, late 60's. Implemented for CDC 6600.

["User's Manual for the Formula Manipulation Language SYMBAL", M. Engeli, TRM-8.00, Comp Ctr UT Austin, June 1968].

Try this search on Wikipedia, OneLook, Google

Nearby terms:

syllogism « Sylvan « Symantec « SYMBAL » SymbMath » SYMBOLANG » Symbolic Assembler Program