language for the on-line investigation and transformation of abstractions

from The Free On-line Dictionary of Computing (8 July 2008)

Language for the On-Line Investigation and Transformation of
Abstractions
LOLITA

   <language> (LOLITA) An extension of the {Culler-Fried System}
   for {symbolic mathematics}.

   ["An On- line Symbol Manipulation System", F.W. Blackwell, Proc
   ACM 22nd Natl Conf, 1967].

   [Sammet 1969, p. 464].

   (2003-07-29)